On Sun, 2011-03-06 at 20:13 +0100, Davide wrote: > Why not used bookmarks in code area and breakpoints in debug area? > because that would be inconsistent in two states which are nearly identical from a user-interface point of view Floris