Project

General

Profile

Users Dialog » History » Version 1

Per Amundsen, 03/26/2021 09:48 PM

1 1 Per Amundsen
{{>toc}}
2
3
h1. Users Editor
4
5
!userseditor.png!
6
7
The users editor allows adding or editing or viewing user levels.
8
9
it can be opened by clicking [[Menubar_Control|Menubar]] -> Tools -> Edit Users or by typing [[/edit]] -u.
10
11
The editor shares characteristics with all the other editors.
12
13
_See also [[/auser]], [[/guser]], [[/iuser]], [[/ruser]], [[$clevel]], [[$dlevel]], [[$ulevel]], [[Editor Options]]._
14
15
h2. user levelformat
16
17
The format of a user level is level<colo><nick/mask>.
18
19
h2. Saving users to a different ini file
20
21
To save the current users file to a different ini file, click the Menubar (inside the editor) -> File -> Save As menu item.
22
23
h2. Loading users from a different ini file
24
25
To load users from a different ini file, click the Menubar (inside the editor) -> File -> Load menu item or use the [[/load]] command.
26
27
When loading users using the [[/load]], [[/reload]] or [[/unload]] command, the users editor will be automatically updated with the new users.
28
29
h2. Search/replace text
30
31
Clicking the Menubar (inside the editor) -> Edit -> Find or pressing the %(key)CTRL% + %(key)F% shortcut opens the search and replace panel.
32
33
You can search or search and replace using a [[Scripting_Regex|Regular Expression]] by checking the *Regex* checkbox.
34
35
Pressing the %(key)ESCAPE% key closes the search panel.
36
37
h2. Reloading a users file
38
39
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 %(key)F5% shortcut or by typing [[/reload]].
40
41
h2. Refreshing a users file
42
43
If users has been changed while the editor was open, pressing the *Refresh* button will update the editor.
44
45
_Note: this removes any unsaved changes._
46
47
h2. Font
48
49
The font of the editor can be changed by clicking the Menubar (inside the editor) -> File -> Change Font menu item.
50
51
_Note: only "truetype":https://en.wikipedia.org/wiki/TrueType fonts can be used._
52
53
h2. Colors
54
55
The editor colors can be changed in [[Options Dialog|Options]] -> [[Colors Options|Colors]].