• last updated a few seconds ago
Constraints
Constraints: committers
 
Constraints: files
Constraints: dates
Wrong varibale, caused null ptr exception.

Adding a catch for the login page - when no user theme can be found, use the server default theme.

Reordered themes, so that default comes first. Then default will be listed first in the HTML.

Default theme (from the perspective of the css handling) is not the server default theme (which may be set to some custom theme) but is hardcoded as defaultHTML.

fix for workspace save/save-as problem

merged from head

  1. … 4 more files in changeset.