-
Committer:
Diego Sarmentero
-
Date:
2011-11-05 03:52:06 UTC
-
mfrom:
(4.1.27)
-
Revision ID:
git-v1:7994c521dd4b8465180218ddfd5c9a7c03c3ff82
Merge pull request #33 from diegosarmentero/master
Breakpoints and Bookmarks navigation fixed, Hide state of toolbar when closed with hide_all fixed