Skip to content
Snippets Groups Projects
  1. May 28, 2015
  2. May 05, 2015
  3. Apr 17, 2015
  4. Mar 24, 2015
  5. Mar 20, 2015
  6. Mar 19, 2015
  7. Mar 17, 2015
  8. Mar 16, 2015
  9. Feb 03, 2015
  10. Feb 02, 2015
  11. Jan 31, 2015
  12. Jan 30, 2015
  13. Jan 04, 2015
  14. Sep 19, 2014
  15. Sep 11, 2014
    • Philipp Erhardt's avatar
      Implement jump list · 3d285c0e
      Philipp Erhardt authored
      Every time a jump occurs its origin is saved. You can then move through
      those saved positions, e.g. to return to the table of contents after
      having read a section.
      3d285c0e
  16. Sep 09, 2014
  17. Aug 07, 2014
  18. May 30, 2014
  19. May 19, 2014
    • Philipp Erhardt's avatar
      Implement smartcase · 411b697f
      Philipp Erhardt authored
      Search case-sensitive, if search term contains an uppercase letter, else
      search case-insensitive.
      411b697f
Loading