Difference between revisions of "Manual:Script Editor"

From Mudlet
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 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-support>
 
 
=== Customizing themes ===
 
 
<describe how to edit a theme here>
 
  
 
== 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:

Mudlet-editor-shortcuts.png