Opened 11 years ago

Last modified 10 years ago

#183 assigned enhancement

change font size in other windows as well

Reported by: szabgab Owned by: azawawi
Priority: major Milestone:
Component: editor Version: 0.21
Keywords: Cc:


We can change the font size in the main editor window but not in the
output and other windows.

Probably when someone changes the font size of the editor window
the font size of the other windows should also change the same way.

Change History (2)

comment:2 Changed 10 years ago by azawawi

  • Owner set to azawawi
  • Status changed from new to assigned
Note: See TracTickets for help on using tickets.