Ticket #1163 (closed enhancement: fixed)

Opened 2 years ago

Last modified 2 years ago

Migrate Style from View Menu to Preferences

Reported by: claudio Owned by: claudio
Priority: major Milestone:
Component: editor Version: trunk
Keywords: UI police Cc:

Description

This functionality should be in Preferences because it's not something you constantly change.

I started the migration (works), but there are still a few loose ends I need to fix before checking in the code.

Change History

comment:1 Changed 2 years ago by claudio

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

All done with commit r14009

comment:2 Changed 2 years ago by szabgab

same as #1161

Note: See TracTickets for help on using tickets.