Wed, 21 Nov 2012 16:32:34 +0100 | immler | included abbrev in tooltip | file | diff | annotate |
Wed, 21 Nov 2012 16:21:16 +0100 | immler | removed (unicode) tooltips: can not adjust font in basic swing tooltip | file | diff | annotate |
Wed, 21 Nov 2012 16:04:00 +0100 | immler | delayed search to improve reactivity | file | diff | annotate |
Wed, 21 Nov 2012 14:53:26 +0100 | immler | respect font property for symbols | file | diff | annotate |
Wed, 21 Nov 2012 12:11:21 +0100 | immler | capitalize lowercase groups; | file | diff | annotate |
Wed, 21 Nov 2012 14:06:59 +0100 | wenzelm | tuned; | file | diff | annotate |
Wed, 21 Nov 2012 13:47:47 +0100 | wenzelm | accomodate scala-2.10.0-RC2 with its slight reform on for-syntax; | file | diff | annotate |
Wed, 21 Nov 2012 10:51:12 +0100 | immler | dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; | file | diff | annotate |