Yves d892e1887a My modifications to the jsdebugger's web GUI. Adds a few features and makes it compatible with the current server-side code. Closes #410 ...

This was SVN commit r13240.

2013-03-07 14:41:03 +00:00

..

back.png

…

blank.gif

…

cancel.png

…

cut.png

…

edit_add.png

…

edit_remove.png

…

filesave.png

…

help.png

…

loading.gif

My modifications to the jsdebugger's web GUI. Adds a few features and makes it compatible with the current server-side code. Closes #410

2013-03-07 14:41:03 +00:00

mini_add.png

…

mini_edit.png

…

mini_refresh.png

…

no.png

…

ok.png

…

pencil.png

…

print.png

…

redo.png

…

reload.png

…

search.png

…

sum.png

…

tip.png

…

undo.png

…