[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should b
From: |
Torsten |
Subject: |
[Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should be set |
Date: |
Mon, 10 Feb 2014 20:45:10 +0000 |
User-agent: |
Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:26.0) Gecko/20100101 Firefox/26.0 |
Follow-up Comment #6, bug #41516 (project octave):
Attached a patch that overrides the QsciScintilla-internal shortcuts with
Ctrl-+, Ctrl-- (normal keys) and Ctrl-Alt-0 for zoom in, zoom out and normal
size respectively. Ctrl-0, which is in general used for the normal size, is
already in use for showing the console. Should we change this?
The advantage of not using the internal shortcuts is that the margin width is
adapted when text size is changed.
(file #30502)
_______________________________________________________
Additional Item Attachment:
File name: bug41516_01.patch Size:7 KB
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?41516>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [Octave-bug-tracker] [bug #41516] editor zoom-in keybinding should be unset, Felipe G. Nievinski, 2014/02/08
- [Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should be set, Mike Miller, 2014/02/08
- [Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should be set, Torsten, 2014/02/08
- [Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should be set, Mike Miller, 2014/02/08
- [Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should be set, Torsten, 2014/02/08
- [Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should be set, Mike Miller, 2014/02/08
- [Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should be set,
Torsten <=
- [Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should be set, Torsten, 2014/02/10
- [Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should be set, Felipe G. Nievinski, 2014/02/10
- [Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should be set, Torsten, 2014/02/11
- [Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should be set, Torsten, 2014/02/13
- [Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should be set, Torsten, 2014/02/13
- [Octave-bug-tracker] [bug #41516] GUI editor zoom in keybinding should be set, Torsten, 2014/02/22