Difference between revisions of "Manual:Script Editor"
Jump to navigation
Jump to search
(Created page with "= Editor = == Editor themes == <how to change editor themes here, can steal a gif from https://www.mudlet.org/2017/07/mudlet-3-3-1-new-code-editor-new-irc-and-utf8-in-lua-su...") |
(→Editor: Remove placeholder text, theme customisation didn't actually work out) |
||
| Line 1: | Line 1: | ||
= Editor = | = Editor = | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
== Editor shortcuts == | == Editor shortcuts == | ||
Revision as of 15:12, 9 August 2018
Editor
Editor shortcuts
The following shortcuts are available in the Lua code editor:
