| 2013-08-26 |
|
|---|---|
| 2013-08-20 |
added word highlightning to the default theme
SJ
committed
on 20 Aug 2013
|
| 2013-08-14 |
gui fixes
SJ
committed
on 14 Aug 2013
|
| 2013-04-05 |
merging new gui part #1
SJ
committed
on 5 Apr 2013
|