1. 29 Apr, 2015 3 commits
  2. 28 Apr, 2015 1 commit
    • Christian Hergert's avatar
      minimap: animate the minimap in/out of view · fd8aea6c
      Christian Hergert authored
      When the mouse is placed over an editor widget (such as the source map
      or the source view), animate the source map in. When it leaves, animate
      it out after a short delay.
      
      I assume we want to add to this the ability to hide the map once typing
      begins similar to the scrolled window.
      fd8aea6c
  3. 27 Apr, 2015 11 commits
  4. 26 Apr, 2015 9 commits
  5. 25 Apr, 2015 16 commits