History of commands in Codeeditor
The Codeeditor should save a history of all user commands which are not inside the default list and make this list editable. This means mainly to remove commands or add a command to the default list. For this the workspace.ini could be used. The two default directories are in /etc/vispa/workspace.ini and in $HOME/.vispa/workspace.ini
(from redmine: issue id 1913, created on 2014-10-10 by martin.urban, closed on 2014-12-15)