Users Dialog » History » Revision 2
« Previous |
Revision 2/3
(diff)
| Next »
Per Amundsen, 03/26/2021 09:48 PM
- Table of contents
- Users Editor
Users Editor¶
The users editor allows adding or editing or viewing user levels.
it can be opened by clicking Menubar -> Tools -> Edit Users or by typing /edit -u.
The editor shares characteristics with all the other editors.
See also /auser, /guser, /iuser, /ruser, $clevel, $dlevel, $ulevel, Editor Options.
User level format¶
The format of a user level is level<colon><nick/mask>.
Saving users to a different ini file¶
To save the current users file to a different ini file, click the Menubar (inside the editor) -> File -> Save As menu item.
Loading users from a different ini file¶
To load users from a different ini file, click the Menubar (inside the editor) -> File -> Load menu item or use the /load command.
When loading users using the /load, /reload or /unload command, the users editor will be automatically updated with the new users.
Search/replace text¶
Clicking the Menubar (inside the editor) -> Edit -> Find or pressing the CTRL + F shortcut opens the search and replace panel.
You can search or search and replace using a Regular Expression by checking the Regex checkbox.
Pressing the ESCAPE key closes the search panel.
Reloading a users file¶
If a users file was modified outside of the editor, it can be reloaded by clicking the Menubar (inside the editor) -> File -> Reload menu item or by pressing the F5 shortcut or by typing /reload.
Refreshing a users file¶
If users has been changed while the editor was open, pressing the Refresh button will update the editor.
Note: this removes any unsaved changes.
Font¶
The font of the editor can be changed by clicking the Menubar (inside the editor) -> File -> Change Font menu item.
Note: only truetype fonts can be used.
Colors¶
Updated by Per Amundsen over 3 years ago · 2 revisions