|
css
|
added word highlightning to the default theme
|
2013-08-20 12:03:05 +02:00 |
|
font
|
gui fixes
|
2013-08-14 23:40:52 +02:00 |
|
ico
|
merging new gui part #1
|
2013-04-05 10:16:33 +02:00 |
|
images
|
fixed indexing
|
2013-07-10 14:10:26 +02:00 |
|
js
|
merging new gui part #1
|
2013-04-05 10:16:33 +02:00 |
