Add menu "Font Size"
|Reported by:||humdinger||Owned by:||stpere|
|Has a Patch:||no||Platform:||All|
This is hrev28717.
There should be a menu "Settings | Font size" with the submenus "Increase [ALT +]" and "Decrease [ALT -]. Didn't know about these shortcuts before trying things out.
OT: Anyone know how to get ALT+[ and ALT+] to find previous/next? Doesn't seem to work for my German keymap.