Differences
This shows you the differences between the selected revisions of the page.
| 2015-12-18 | 2016-07-29 | ||
| 5.8 Bug 1326 Configurable internal editor font color and default background color. (martin) | 5.9 stable released (martin) | ||
| Line 1: | Line 1: | ||
| ====== Internal Editor Page (Preferences Dialog) ====== | ====== Internal Editor Page (Preferences Dialog) ====== | ||
| The //Internal Editor page// on the [[ui_preferences|Preferences dialog]] allows you to configure options for [[ui_editor|internal editor]]. | The //Internal Editor page// on the [[ui_preferences|Preferences dialog]] allows you to configure options for [[ui_editor|internal editor]]. | ||
| - | |||
| - | //In the latest stable release, these options are on //[[ui_pref_editor|Editor page]]//.// &beta | ||
| &screenshotpict(pref_editor_internal) | &screenshotpict(pref_editor_internal) | ||
| Line 19: | Line 17: | ||
| Use //Select Font// button to select font for an [[ui_editor|internal editor]]. The preview on the right will show you what the font looks like. | Use //Select Font// button to select font for an [[ui_editor|internal editor]]. The preview on the right will show you what the font looks like. | ||
| - | Use //Text color// to change text color. &beta_feature | + | Use //Text color// to change text color. |
| Use //Default background// to change default background color. The color is overridden with [[task_connections#session_color|session color]], if one is set. The color can be changed for each editor window individually on [[ui_editor|the editor toolbar]]. | Use //Default background// to change default background color. The color is overridden with [[task_connections#session_color|session color]], if one is set. The color can be changed for each editor window individually on [[ui_editor|the editor toolbar]]. | ||