Area 51/Profile preferences - Revision history

Tamarindo: /* Profile Preferences */

2026-02-13T20:27:17Z

Profile Preferences

Tamarindo: /* IRC Client Options */

2026-02-13T20:16:06Z

IRC Client Options

Tamarindo at 13:38, 24 August 2025

2025-08-24T13:38:38Z

Tamarindo: /* Language & Data Encoding */

2025-08-24T13:35:25Z

Language & Data Encoding

Tamarindo: /* Log Options */

2025-08-24T13:34:55Z

Log Options

Tamarindo: /* Log Options */

2025-08-24T13:33:34Z

Log Options

Tamarindo: Initial prototype

2025-08-23T12:12:14Z

Initial prototype

Show changes

@@ Line 452: / Line 452: @@
 ** Larger arrows are easier to see and click
 ** Particularly helpful for users with visual impairments or high-resolution displays
 ==== Room Symbol Font Configuration ====
@@ Line 543: / Line 565: @@
 == Chat Tab ==
-This tab configures IRC client functionality and Discord integration, allowing you to stay connected with gaming communities while playing.
+This tab configures Discord Rich Presence integration, allowing your Discord status to show your Mudlet activity.
 === Discord Privacy ===
@@ Line 758: / Line 782: @@
 === Search Functionality ===
 * '''Enable F3 search shortcuts''': Allow F3/Shift+F3 for text searching
-** F3: Find next occurrence of search term
+** Checkbox to enable or disable the F3 search shortcut functionality
-** Shift+F3: Find previous occurrence of search term
+** When enabled: F3 finds next occurrence, Shift+F3 finds previous
 ** Enables quick text location within the game output buffer
 ** Particularly useful for finding specific information in lengthy game sessions
@@ Line 834: / Line 859: @@
 ** Options typically include Google, DuckDuckGo, and other search providers
 ** Consider privacy preferences when selecting search engine
 === Advanced Debugging Options ===

← Older revision		Revision as of 20:16, 13 February 2026
Line 544:		Line 544:

	This tab configures IRC client functionality and Discord integration, allowing you to stay connected with gaming communities while playing.		This tab configures IRC client functionality and Discord integration, allowing you to stay connected with gaming communities while playing.
−
−	~~=== IRC Client Options ===~~
−	~~Internet Relay Chat (IRC) is a traditional text-based communication protocol used by many gaming communities:~~
−
−	* '''Server address''': IRC server hostname
−	** Format: irc.example.net (without "irc://" prefix)
−	** Common gaming networks: irc.freenode.net, irc.libera.chat, irc.darkmyst.org
−	** Check with your gaming community for their preferred IRC network
−
−	* '''Port''': IRC server port number
−	** Standard ports: 6667 (unencrypted), 6697 (encrypted/SSL)
−	** Some networks use custom ports - check server documentation
−	** Default suggestion: 6667 for basic connections
−
−	* '''Nickname''': Your IRC username/handle
−	** Must be unique on the IRC network
−	** Typically 3-16 characters, alphanumeric and some symbols
−	** Consider using your game character name for easy recognition
−
−	* '''Auto-join channels''': Channels to join automatically upon connection
−	** Format: #channel1 #channel2 #channel3 (space-separated, with # prefix)
−	** Common gaming channels: #newbie, #gameplay, #ooc (out-of-character)
−	** Leave empty to manually join channels after connecting
−
−	* '''Server password''': Password for IRC server access (if required)
−	** Most public networks don't require passwords
−	** Some private or gaming-specific networks may require authentication
−	** Often called "server password" or "connection password" in IRC documentation
−
−	* '''Use a secure connection''': Enable TLS/SSL encryption
−	** Encrypts your IRC communication for privacy and security
−	** Usually requires port 6697 instead of 6667
−	** Recommended for sensitive communications or when using public networks
−
−	~~''Note'': IRC integration allows you to chat with other players without leaving Mudlet, but requires an active IRC community for your game.~~

	=== Discord Privacy ===		=== Discord Privacy ===

@@ Line 167: / Line 167: @@
 ** User dictionaries store words you add via right-click → "Add to dictionary"
 ** Game-specific terms like "scimitar" or "mithril" can be added to avoid false positives
 == Main Display Tab ==
@@ Line 196: / Line 194: @@
 ** May make small fonts appear blurry on low-resolution displays
 ** Turn off if text appears fuzzy or hard to read
 === Display Border ===
@@ Line 239: / Line 235: @@
 ** Helps with complex, multi-line text structures
 ** Usually set to 0-2 characters more than the basic wrapped line indent
 === Double-click Behavior ===
@@ Line 297: / Line 291: @@
 ** Includes examples of Lua syntax, comments, and strings
 ** Change the preview script to see how themes handle different types of code
 === Autocomplete ===
@@ Line 388: / Line 380: @@
 ** Useful if you've experimented with colors and want to start over
 ** Also triggered by server reset commands if server color redefinition is enabled
 == Mapper Tab ==
@@ Line 496: / Line 486: @@
 ** Only applies to ring styles with inner elements
 ** Controls the thickness of the ring indicator
 == Mapper Colors Tab ==
@@ Line 634: / Line 622: @@
 ** Leave empty to show Rich Presence on any Discord account you're logged into
 ** Discriminator is the 4-digit number after the # in your full Discord username
 == Connection Tab ==
@@ Line 711: / Line 697: @@
 ** Username and password fields for proxy login
 ** Not the same as your game login credentials
 == Shortcuts Tab ==
@@ Line 931: / Line 915: @@
 * Keep notes about changes made for troubleshooting purposes
 * Consider consulting with experienced players or server administrators before making changes
 == Saving Changes ==

@@ Line 50: / Line 50: @@
 ** Encodings marked with '''m''' are provided by Mudlet rather than your operating system
 ** ''Troubleshooting'': If you see question marks (�) or broken characters instead of text, try UTF-8 first, then consult your game's documentation
 === Miscellaneous Options ===

@@ Line 113: / Line 113: @@
 ** Combined with the log format to create the final filename
 ** Extension (.txt or .html) is added automatically based on the HTML format setting
 == Input Line Tab ==

@@ Line 114: / Line 114: @@
 ** Extension (.txt or .html) is added automatically based on the HTML format setting
-''[Suggested image: Screenshot showing the log directory browser and format options]''
+[[File:General Tab.png|800px|frameless|left]]
 == Input Line Tab ==