| Age | Commit message (Collapse) | Author |
|---|
|
(gui) language changes are now written to the DB once the save button is pressed
|
|
|
|
|
|
common and problem-specific hint content.
|
|
|
|
|
|
|
|
instances work correctly.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Also clean up remains of previous CodeMirror panel support.
|
|
Improving my jQuery-fu…
|
|
|
|
Conflicts:
index.html
|
|
|
|
|
|
|
|
files.
|
|
|
|
Mostly a copy of the Python screen, a lot of functionality is missing.
|
|
|
|
returned settings.
|
|
|
|
|
|
'settings' action
|
|
|
|
|
|
|
|
|
|
|
|
logs into the application
|
|
|
|
of dictionaries).
|
|
|
|
|
|
decide whether to activate or not the button.
|
|
|
|
|
|
|
|
Hints are not yet covered.
|
|
|
