| CodeLobster IDE http://codelobster.com/forum/ |
|
| Disable font size on CMD+scroll http://codelobster.com/forum/viewtopic.php?f=8&t=24730 |
Page 1 of 1 |
| Author: | Uli [ Sun Dec 22, 2019 6:45 pm ] |
| Post subject: | Disable font size on CMD+scroll |
Hello, is there a way to disable the function for mouse wheel turn + CMD (or Ctrl) to change font size? Thank you O. Dajbych |
|
| Author: | ComputingFroggy [ Fri Jan 03, 2020 7:27 pm ] |
| Post subject: | Viewing font size |
On the same subject, it would be nice to view the current font size (in an indicator in the status bar, for instance). And to easily reset the font size (= no increase, no decrease). Cheers, L@u |
|
| Author: | Uli [ Sat Jan 11, 2020 2:43 pm ] |
| Post subject: | Re: Disable font size on CMD+scroll |
And there is also another nonsense with font size: If you do not have numerical keyboard, you are not able to increase font size, because the shorcut (in OSX case is Alt+Shift+ '+'). But the plus is on key '=' in upper position. So the shortcut would look like Alt + Shift + (Shift + '=') ... unfortunately Alt + Shift + '=' does not work. Decreasing font size with minus works, because it is main key value. Anyway - developers probabely don't read this forum. So when I accidentaly change font size (very easy upon copy - paste procedure, when holding cmd key and touch Magic mouse), I increase it with mouse and then decrease it to desirable size with minus ... best I can do so far. |
|
| Author: | Admin [ Mon Jan 13, 2020 10:24 am ] |
| Post subject: | Re: Disable font size on CMD+scroll |
Hi, Uli. You can re-assign this hotkey in the Preferences->IDE->HotKeys->Edit->Increase font size Regards, Codelobster Team. |
|
| Author: | Uli [ Mon Jan 13, 2020 3:18 pm ] |
| Post subject: | Re: Disable font size on CMD+scroll |
Admin Wrote: Hi, Uli. You can re-assign this hotkey in the Preferences->IDE->HotKeys->Edit->Increase font size Regards, Codelobster Team. Thanx a lot, it worked. For others I would like to mention that Codelobster restart was needed for new hotkeys to work. Now when I accidentally change font size with mouse I can easily bring it back. Thank you Uli |
|
| Page 1 of 1 | All times are UTC |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|