Opened 9 years ago

Last modified 8 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:

Description

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 8 years ago by azawawi

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