After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 94427 - quick font-scale menu (ctrl++ and ctrl+- as in web browsers)
quick font-scale menu (ctrl++ and ctrl+- as in web browsers)
Status: RESOLVED FIXED
Product: gnome-terminal
Classification: Core
Component: general
2.0.x
Other Linux
: Normal enhancement
: 2.2
Assigned To: Havoc Pennington
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2002-09-28 17:22 UTC by Stephane Chauveau
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Stephane Chauveau 2002-09-28 17:22:39 UTC 
Fonts can be changed in the profile but there is no ways
to change the font in a single terminal without affecting 
all others terminals using the same profile.

gnome-terminal could provide a menu with a user selected 
list of fonts. I use this feature quite often in xterm 
to switch to small fonts when a shell command display 
very large outputs or to switch to larger fonts when 
I can't differenciate 0 and O anymore :-)

Another way could be to introduce a zoom factor but that 
would probably not work because all fonts cannot be 
displayed properly at all sizes.
Comment 1 Havoc Pennington 2002-10-04 19:31:38 UTC 
See also bug #207

This would not be a preference, but transient state. Would be saved 
in the user session.
Comment 2 Havoc Pennington 2002-10-04 22:28:18 UTC 
I'd been meaning to do this for a while.
You're right about the zoom factor causing some issues
with unscalable fonts, but without Pango API to get the list of
available sizes for a font, I don't think we can do a lot about that.

2002-10-04  Havoc Pennington  <hp@redhat.com>

        Add View->Zoom In, View->Zoom Out, View->Normal Size, 
	for bug #
	
	* src/terminal.c: take --zoom command line option, save --zoom in
	the session.

	* src/gnome-terminal.schemas: add new keybindings

	* src/terminal-accels.c: add Ctrl++ Ctrl+- Ctrl+= zoom shortcuts

	* src/terminal.c (terminal_app_new_terminal): fix a warning about
	printf format

	* src/terminal-window.c: add font size menu items

	* src/terminal-screen.c (terminal_screen_get_font_scale): new
	function
	(terminal_screen_set_font_scale): new function
	(terminal_screen_update_on_realize): actually use the font size
	derived from the system font, was broken before