<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 16 Jan 2021 at 20:54, Andrew Parsloe <<a href="mailto:ajparsloe@gmail.com">ajparsloe@gmail.com</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"><br>
On 17/01/2021 1:42 am, Jean-Marc Lasgouttes wrote:<br>
> Le 16/01/2021 à 04:36, Andrew Parsloe a écrit :<br>
>> As a LyX user on windows, I would be reluctant to see Ctrl+-  <br>
>> changed. To meit sits comfortably alongside Ctrl+space to give a <br>
>> protected space. (To my mind, the odd one out is Alt+. to give an <br>
>> ellipsis rather than Ctrl+. for this function.  To maintain <br>
>> equilibrium I recall JMarc's description from 17 Jul 2018, "remember <br>
>> that LyX is a platypus: something so weirdly designed that everybody <br>
>> is surprised that it even exists.")<br>
><br>
> Do you keep a list of my most famous quotes ? I am flattered ;)<br>
No, but the mention of platypuses obviously stuck. When I 'discovered' <br>
LyX about 15 years ago, the User's Guide had a picture of a platypus. It <br>
feels as if the unlikely creature has been a meme in LyX development for <br>
a long time.<br>
><br>
> More seriously, it is important to keep a good balance between the <br>
> normal and the weird.<br>
><br>
> JMarc<br>
Andrew<br></blockquote><div><br></div><div>Based on the whole discussion, I'm in favour of only changing Alt+0 due to the problematic behaviour on Windows (as far as I understand it, there is no specific binding file for Windows). For macOS, there is already a mac.bind file, and it already defines Ctrl++ and Ctrl+- for zooming. The attached patch just does that single change.
<div>unnamed2.patch</div>

</div><div><br></div><div>Maybe it's time to ship a Windows-specific bind file? In that case, the zoom shortcuts would move to Ctrl+something, like for macOS and most Windows apps, the hyphen would then become Alt+-. As I understand the current code, the problem would be that this file would be almost a copy from the standard file (with just a few changes), there is no possibility to "include" another set of shortcuts.</div><br><div>What is the most usual shortcut in the Linux world (I'm using a singular to refer to some kind of average over the two zillions distributions)? For Firefox and Chrome, it looks like Ctrl++/- (<a href="https://support.mozilla.org/en-US/kb/font-size-and-zoom-increase-size-of-web-pages">https://support.mozilla.org/en-US/kb/font-size-and-zoom-increase-size-of-web-pages</a>, <a href="https://unix.stackexchange.com/questions/326698/google-chrome-accidental-zoom/326729">https://unix.stackexchange.com/questions/326698/google-chrome-accidental-zoom/326729</a>), LibreOffice also uses Ctrl+something (<a href="https://www.libreofficehelp.com/how-zoom-libreoffice-writer/">https://www.libreofficehelp.com/how-zoom-libreoffice-writer/</a>). Maybe it's best to switch to Ctrl+something for Linux too (and still have the same file as for Windows), because current software seems to have settled on this shortcut? That means reassigning the hyphen to Alt+-. <br></div><div>unnamed3.patch<br></div></div></div>