modified:   html/dialog-workspace-settings.html
	modified:   html/panel.html
	modified:   main.js
	html/dialog-projects-settings.html