tree de359ffb5bb1b5857247ea3c601f364f02cc9acb
parent 7e6b40aea02415657ab925a76e5a6cbc07d08e38
author Dani Megert <dmegert> 1365689106 +0200
committer Dani Megert <dmegert> 1365689106 +0200

Fixed bug 373201: [painting] Removing a breakpoint does not remove the squiggly line from the Java editor