User contributions
Jump to navigation
Jump to search
- 08:31, 21 December 2018 diff hist +35 Manual:UI Functions →selectSection
- 08:30, 21 December 2018 diff hist +593 Manual:UI Functions Documented getSelection()
- 08:27, 21 December 2018 diff hist 0 Manual:UI Functions →selectCurrentLine
- 09:25, 5 November 2018 diff hist +82 Release Checklist
- 12:34, 4 November 2018 diff hist 0 m Release Checklist
- 13:18, 3 November 2018 diff hist +160 Manual:Miscellaneous Functions →getMudletHomeDir: added note for 3.15
- 13:15, 3 November 2018 diff hist +99 Manual:Geyser →Stretching an image on a label
- 13:06, 3 November 2018 diff hist +30 Manual:Basic Essentials →display: updated for 3.15
- 13:02, 3 November 2018 diff hist +61 Manual:UI Functions →showColors: documented new parameter in 3.15
- 20:43, 30 October 2018 diff hist +47 Release Checklist
- 09:19, 25 October 2018 diff hist +74 Release Checklist
- 08:48, 25 October 2018 diff hist +54 Release Checklist
- 05:18, 25 October 2018 diff hist -4 m Manual:Mudlet Object Functions →setTriggerStayOpen
- 02:00, 25 October 2018 diff hist +414 FAQ
- 18:10, 24 October 2018 diff hist 0 N File:Working-settings-hidpi.PNG current
- 18:09, 24 October 2018 diff hist 0 N File:Highdpi-distortion.PNG current
- 12:50, 18 October 2018 diff hist +35 Manual:Mapper Functions →getPlayerRoom
- 09:14, 17 October 2018 diff hist +1 m Manual:GMCP Extensions →Automatic map download
- 06:38, 15 October 2018 diff hist +53 Manual:Discord Functions →setDiscordApplicationID
- 06:17, 7 October 2018 diff hist +47 Release Checklist
- 05:49, 7 October 2018 diff hist +12 Release Checklist
- 05:01, 6 October 2018 diff hist -566 Manual:Supported Protocols GMCP is now enabled by default
- 07:00, 5 October 2018 diff hist +147 Manual:Scripting →Discord Rich Presence
- 06:53, 5 October 2018 diff hist 0 N File:Discord Privacy.png current
- 06:27, 5 October 2018 diff hist -53 Manual:Scripting →GMCP
- 06:26, 5 October 2018 diff hist +43 m Manual:Scripting →Implementing
- 05:08, 5 October 2018 diff hist +71 Manual:Scripting →GMCP
- 04:36, 5 October 2018 diff hist +79 Standards:Discord GMCP →Proposal of new namespace: External.*
- 19:36, 4 October 2018 diff hist +3 Manual:Networking Functions →downloadFile
- 19:17, 4 October 2018 diff hist +108 m Compiling Mudlet Fix yajl instructions
- 19:13, 4 October 2018 diff hist +55 Compiling Mudlet Added in yajl dependency
- 07:01, 4 October 2018 diff hist +36 Manual:Mapper Functions →centerview
- 07:00, 4 October 2018 diff hist +281 Manual:Mapper Functions Documented getPlayerRoom
- 06:50, 4 October 2018 diff hist +540 Manual:GMCP Extensions Documented automatic map download
- 06:45, 4 October 2018 diff hist +54 m Manual:Mapper Functions →saveMap
- 06:42, 4 October 2018 diff hist 0 N File:Start own map.png current
- 06:29, 4 October 2018 diff hist +65 Manual:Scripting →GMCP
- 06:28, 4 October 2018 diff hist +32 m Manual:Scripting →Implementing
- 06:25, 4 October 2018 diff hist +27 m Standards:Discord GMCP →Specification for External.Discord: formatting tweak
- 06:24, 4 October 2018 diff hist +12 m Standards:Discord GMCP →External.Discord.Info: formatting tweak
- 10:02, 1 October 2018 diff hist +137 m Manual:Mapper Functions →createRoomID
- 06:03, 26 September 2018 diff hist -9 Manual:Discord Functions →setDiscordSmallIconText
- 06:03, 26 September 2018 diff hist -9 Manual:Discord Functions →setDiscordLargeIconText
- 06:01, 26 September 2018 diff hist -9 Manual:Discord Functions →setDiscordGame
- 18:23, 25 September 2018 diff hist +76 Manual:Scripting →Discord Rich Presence
- 18:18, 25 September 2018 diff hist +2,218 Manual:Scripting →Discord Rich Presence
- 18:15, 25 September 2018 diff hist 0 N File:Discord fields.png current
- 17:36, 25 September 2018 diff hist 0 N File:Enable Discord.png current
- 03:55, 24 September 2018 diff hist +125 Manual:Discord Functions
- 03:53, 24 September 2018 diff hist +80 Manual:Scripting →Discord Rich Presence