Opened 9 years ago

Closed 9 years ago

Last modified 9 years ago

#1163 closed enhancement (fixed)

Migrate Style from View Menu to Preferences

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


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 (2)

comment:1 Changed 9 years ago by claudio

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

All done with commit r14009

comment:2 Changed 9 years ago by szabgab

same as #1161

Note: See TracTickets for help on using tickets.