gnome-shell-extension-ddterm icon indicating copy to clipboard operation
gnome-shell-extension-ddterm copied to clipboard
verified publisher icon ddterm

[feature] Keyboard shortcuts for increasing/decreasing font size

Open avinayak opened this issue 3 years ago • 1 comments

Similar functionality to gnome terminal shortcuts like ctrl + + or ctrl + - to zoom in/out.

avinayak avatar Jun 19 '22 14:06 avinayak

Duplicate of #75

rwese avatar Aug 08 '22 09:08 rwese