 Joscha Jaeger
|
95669a61e6
bugfix: don’t preselect /resources/img dir in file manager. feature: scroll auto-selected element into view
|
10 years ago |
|
Michael
|
9cf98e7c30
compiler adjustments
|
10 years ago |
|
Michael
|
945031daaf
some keyboard commands
|
10 years ago |
|
Joscha Jaeger
|
2144e278a0
file manager: added new page functionality, added option to open html file in new tab
|
10 years ago |
|
Joscha Jaeger
|
6f22fa3574
ui fixes
|
10 years ago |
|
Michael
|
58da76e426
Joscha 2014-09-24 and half-way of the history
|
10 years ago |
|
Michael
|
227d4f2324
initial commit
|
10 years ago |
