<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Hi Bruce,</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">I have tried a more standard solution (commit<a href="https://github.com/therion/therion/commit/683b226065e092e3b9d38aa292141b5065b07a2d" class="gmail-f6 gmail-Link--secondary gmail-text-mono gmail-ml-2 gmail-d-none gmail-d-lg-inline" style="box-sizing:border-box;background-color:rgb(246,248,250);text-decoration-line:none;margin-left:8px;font-size:12px;font-family:ui-monospace,SFMono-Regular,"SF Mono",Menlo,Consolas,"Liberation Mono",monospace;display:inline">683b226</a>) - an adjustment line alongside the whole screen. It should be 1.5mm thick (according to OS-supplied resolution). Does that solve the problem?</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">S.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 22 Feb 2022 at 08:44, Bruce Mutton <<a href="mailto:bruce@tomo.co.nz">bruce@tomo.co.nz</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div lang="EN-NZ" style="overflow-wrap: break-word;"><div class="gmail-m_2443631218045822728WordSection1"><p class="MsoNormal">Thanks Stacho<u></u><u></u></p><p class="MsoNormal">That did the trick.<u></u><u></u></p><p class="MsoNormal"><span style="font-family:Arial,sans-serif">therion-setup-msys2-3f4366c<u></u><u></u></span></p><p class="MsoNormal">If you don’t mind doing some more fiddling, I wouldn’t mind the control being a bit bigger.<u></u><u></u></p><p class="MsoNormal">On my 4K 27” monitors, it’s a bit fiddly trying to grab it.  It’s a shade under 1mm x 1mm in size.<u></u><u></u></p><p class="MsoNormal"><img width="294" height="171" style="width: 3.0625in; height: 1.7847in;" id="gmail-m_2443631218045822728Picture_x0020_2" src="cid:17f22ca58365b16b21"><u></u><u></u></p><p class="MsoNormal">I suggest at least doubling the size, by dropping the lower edge and moving the right edge to the right.<u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">Bruce<u></u><u></u></p><div style="border-right:none;border-bottom:none;border-left:none;border-top:1pt solid rgb(225,225,225);padding:3pt 0cm 0cm"><p class="MsoNormal"><b><span lang="EN-US">From:</span></b><span lang="EN-US"> Therion <<a href="mailto:therion-bounces@speleo.sk" target="_blank">therion-bounces@speleo.sk</a>> <b>On Behalf Of </b>Stacho Mudrak<br><b>Sent:</b> Tuesday, 22 February 2022 10:46<br><b>To:</b> List for Therion users <<a href="mailto:therion@speleo.sk" target="_blank">therion@speleo.sk</a>><br><b>Subject:</b> Re: [Therion] Updated XTherion editor side panel adjustment missing<u></u><u></u></span></p></div><p class="MsoNormal"><u></u> <u></u></p><div><div><p class="MsoNormal"><span style="font-family:Tahoma,sans-serif">Hi Bruce,<u></u><u></u></span></p></div><div><p class="MsoNormal"><span style="font-family:Tahoma,sans-serif"><u></u> <u></u></span></p></div><div><p class="MsoNormal"><span style="font-family:Tahoma,sans-serif">thanks for finding out. It looks like a problem with hidpi display and tcltk 8.6.12. I am not having the problem with an external monitor normally attached to my notebook. If I use a build-in display or my android tablet, same problem appears.<u></u><u></u></span></p></div><div><p class="MsoNormal"><span style="font-family:Tahoma,sans-serif"><u></u> <u></u></span></p></div><div><p class="MsoNormal"><span style="font-family:Tahoma,sans-serif">I have tried to fix it in </span><span style="font-family:Arial,sans-serif">3f4366c, could you please verify, whether it works now?</span><span style="font-family:Tahoma,sans-serif"><u></u><u></u></span></p></div><div><p class="MsoNormal"><span style="font-family:Tahoma,sans-serif"><u></u> <u></u></span></p></div><div><p class="MsoNormal"><span style="font-family:Tahoma,sans-serif">S.<u></u><u></u></span></p></div></div><p class="MsoNormal"><u></u> <u></u></p><div><div><p class="MsoNormal">On Mon, 21 Feb 2022 at 09:16, Bruce Mutton <<a href="mailto:bruce@tomo.co.nz" target="_blank">bruce@tomo.co.nz</a>> wrote:<u></u><u></u></p></div><blockquote style="border-top:none;border-right:none;border-bottom:none;border-left:1pt solid rgb(204,204,204);padding:0cm 0cm 0cm 6pt;margin-left:4.8pt;margin-right:0cm"><div><div><p class="MsoNormal">The new look (v 6.0.5) XTherion editor seems to be missing the small button control that allows resizing of the side panel.<u></u><u></u></p><p class="MsoNormal">I often like to make it quite large when editing objects with a long options string.<u></u><u></u></p><p class="MsoNormal"> <u></u><u></u></p><p class="MsoNormal"><img border="0" width="420" height="345" style="width: 4.375in; height: 3.5972in;" id="gmail-m_2443631218045822728gmail-m_2195351296439571843gmail-m_-9158932857058110442Picture_x0020_1" src="cid:17f22ca58379374b62"><u></u><u></u></p><p class="MsoNormal"> <u></u><u></u></p><p class="MsoNormal">Is resizing of the panel still available and I’m just not seeing it, or is it perhaps a bug?<u></u><u></u></p><p class="MsoNormal">Therion 6.0.5<u></u><u></u></p><p class="MsoNormal">Windows 10 Home v 21H1 9043.1526<u></u><u></u></p><p class="MsoNormal"> <u></u><u></u></p><p class="MsoNormal"> <u></u><u></u></p></div></div><p class="MsoNormal">_______________________________________________<br>Therion mailing list<br><a href="mailto:Therion@speleo.sk" target="_blank">Therion@speleo.sk</a><br><a href="https://mailman.speleo.sk/listinfo/therion" target="_blank">https://mailman.speleo.sk/listinfo/therion</a><u></u><u></u></p></blockquote></div></div></div>_______________________________________________<br>
Therion mailing list<br>
<a href="mailto:Therion@speleo.sk" target="_blank">Therion@speleo.sk</a><br>
<a href="https://mailman.speleo.sk/listinfo/therion" rel="noreferrer" target="_blank">https://mailman.speleo.sk/listinfo/therion</a><br>
</blockquote></div>