Skip to content

Allow to change font zoom

Rastersoft requested to merge add_key_for_font_size into master

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

Merge request reports