Project

General

Profile

Actions

Users Dialog » History » Revision 1

Revision 1/3 | Next »
Per Amundsen, 03/26/2021 09:48 PM


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 levelformat

The format of a user level is level<colo><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

The editor colors can be changed in Options -> Colors.

Updated by Per Amundsen over 3 years ago · 1 revisions

Also available in: PDF HTML TXT