Opened 6 years ago

Closed 6 years ago

Last modified 5 years ago

#187 closed task (fixed)

make usual GUI fonts configurable (at least their size)

Reported by: stefan Owned by: stefan
Priority: normal Milestone: 0.3
Component: general Version:
Keywords: Cc:
Blocked By: Blocking:
Parent Tickets:

Description


Subtickets

Change History (2)

comment:1 Changed 6 years ago by stefan

  • Owner set to stefan
  • Status changed from new to assigned

comment:2 Changed 6 years ago by stefan

  • Resolution set to fixed
  • Status changed from assigned to closed

Change the global font size via property "main_window.font_scale_factor" in global.settings.

Note: See TracTickets for help on using tickets.