Project window

OptionDescriptions
New projectCreates a new project
Open projectOpens a project from a file
Save projectSaves all changes to the file
Close projectCloses selected project
Removes projectRemoves selected project from the list. This option deletes all files from disk
Show problem listShows list of the problems of the selected project
Close problem listCloses a window with the list of the problems
Open browser windowOpens a browser window

Problem list window

This window shows a basic information of problems stored in a project and provides functions to manage problems within the project
Deletes selected problem. A problem which is already used can not be deleted
Opens editor windows
Opens selected problem in editor window
Selects next or previous problem in the list