Differences
This shows you the differences between the selected revisions of the page.
| 2013-04-12 | 2013-04-15 | ||
| 5.2 Moved Panels node on Preferences dialog to the top-level to reduce nesting (martin) | ui_pref_panels_local (martin) | ||
| Line 231: | Line 231: | ||
| * [[ui_pref_panels|Panels]] | * [[ui_pref_panels|Panels]] | ||
| * [[ui_pref_panels_remote|Remote]] | * [[ui_pref_panels_remote|Remote]] | ||
| + | * [[ui_pref_panels_local|Local]] | ||
| * [[ui_pref_editor|Editors]] | * [[ui_pref_editor|Editors]] | ||
| * [[ui_editor_preferences]] | * [[ui_editor_preferences]] | ||