Differences
This shows you the differences between the selected revisions of the page.
| 2019-09-21 | 2019-09-25 | ||
| Restored revision 1469784335. Undoing revisions 1569000790, 1569000823. (martin) (hidden) | 5.16 Bug 1752 Indicating in an Internal editor that the file is new and preventing actions that does not make sense for non-existing files (martin) | ||
| Line 13: | Line 13: | ||
| * Reload (''Ctrl+R'') | * Reload (''Ctrl+R'') | ||
| - | Use //Encoding// drop down menu to change encoding used when loading the file. Default encoding to use can be set in [[ui_pref_editor_internal|preferences]] and is also governed by presence of UTF-8 BOM in the file. When you change file encoding, the file is reloaded, discarding any changes you have made. | + | Use //Encoding// drop down menu to change encoding used when loading the file. Default encoding to use can be set in [[ui_pref_editor_internal|preferences]] and is also governed by presence of UTF-8 BOM in the file. When you change file encoding, the file is reloaded, discarding any changes you have made. You cannot change an encoding of a new file. |
| Use //Color// drop down menu to change background color of the editor. This is useful when you have many editors opened. Editor opens with [[task_connections#session_color|color of the session]] or [[ui_pref_editor_internal|the default background color]]. | Use //Color// drop down menu to change background color of the editor. This is useful when you have many editors opened. Editor opens with [[task_connections#session_color|color of the session]] or [[ui_pref_editor_internal|the default background color]]. | ||