Fri, 05 Oct 2012 12:11:23 +0200 | wenzelm | tuned window position to fit on screen; | file | diff | annotate |
Fri, 05 Oct 2012 12:00:28 +0200 | wenzelm | tuned window position; | file | diff | annotate |
Fri, 05 Oct 2012 11:36:46 +0200 | wenzelm | determine window size from content; | file | diff | annotate |
Fri, 05 Oct 2012 11:09:24 +0200 | wenzelm | tuned color and font size; | file | diff | annotate |
Fri, 05 Oct 2012 10:54:07 +0200 | wenzelm | close tooltip window on escape; | file | diff | annotate |
Thu, 04 Oct 2012 20:36:10 +0200 | wenzelm | some re-ordering of initialization to ensure proper formatting; | file | diff | annotate |
Thu, 04 Oct 2012 20:14:40 +0200 | wenzelm | separate module Pretty_Tooltip; | file | diff | annotate |