~diegosarmentero/ninja-ide/ninja-ide

Viewing all changes in revision 25.

  • 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

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: