commit | c71797ef0ff6b0591633ef0ba5cb5f46226d3fb0 | [log] [tgz] |
---|---|---|
author | Tom Hofmann <thofmann> | Tue Jun 02 11:41:58 2009 +0000 |
committer | Tom Hofmann <thofmann> | Tue Jun 02 11:41:58 2009 +0000 |
tree | 8222fa72b96d5d78c01f2927cc83546954fa0e96 | |
parent | e5a46973656cc43851050c19e25a74142e41042f [diff] |
fixed bug 278073: [block selection] Block Selection deletion in Java editor fails depending on how you draw the selection