Facility to (re)store font size preferences

Bug #492485 reported by TimBaldwin
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
IVLE
New
Medium
Unassigned

Bug Description

When demoing in the lecture theatre (and tutes), it would be good to be
able to selection a particular font size setting more efficiently than
Ctl-Shift-= a bunch of times in the right windows (e.g. I generally want
the editor and console, but not the frame to be of larger size, which is
always fiddly). It would also be good to have a keybinding to 'hide' the
console, as when the font is too big (again in a lecturing setting), the
'hide' icon disappears from the browser window. I guess ideally, I want to
be able to save a couple of 'profiles' for font/window size preferences,
for demo and personal use, and to be able to select between them quickly.

Tags: feature js ui
William Grant (wgrant)
tags: added: feature js ui
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.