Allow to change font zoom
This patch allows to change the font zoom in each terminal. By default the keys are Shift+Ctrl+KeyPad_plus to increase it, Shift+Ctrl+KeyPad_minus to decrease it, and Shift+Ctrl+KeyPad_Enter to reset it to one. Of course, the keys are reconfigurable.
It also works with Ctrl + the mouse wheel (using Ctrl + middle button to reset the zoom).
Also, it adds a key to show the menu.
Fix #9 (closed) Fix #16 (closed)
Edited by Rastersoft