From WikiDocs

Editing Permission Groups

Access the permissions dialog by clicking the Tools->Edit Permissions... menu item.

Permissions dialog

Layout

• Groups and users are listed on the tree on the left
• Associated privileges are listed on the right

Changing permissions

• Select the permission
• Click on the drop-down arrow to access the combo box dropdown
• Select 'true' or 'false'

Adding and removing permission groups

Adding

• Right click the groups tree view node
• Left click on 'Add Group'
• Type the desired group name into the 'Add a Privilege Group' dialog
• Click 'OK'

• You will now see the new group listed in the Groups tree

Assigning users to groups

• Left click drag and selected user to the desired group