| Wed, 06 Feb 2013 23:14:50 +0100 | wenzelm | proforma update to jdk-7u13 -- barely relevant security updates by Oracle; | changeset | files |
| Wed, 06 Feb 2013 21:05:06 +0100 | wenzelm | more robust JEdit_Lib.pixel_range, which could crash via Rich_Text_Area.tooltip_painter with bad mouse coordinates; | changeset | files |
| Wed, 06 Feb 2013 20:03:42 +0100 | wenzelm | documentation for 'print_rules'; | changeset | files |
| Fri, 01 Feb 2013 22:24:27 +0100 | wenzelm | no choice of target directory -- default file permissions outside user directory tend to be ill-defined for Cygwin; | changeset | files |