Skip to content
Snippets Groups Projects
  1. Oct 18, 2018
  2. Apr 03, 2018
  3. Feb 01, 2018
  4. Oct 30, 2017
  5. Oct 10, 2017
  6. Oct 09, 2017
    • TimBaumann's avatar
      Use <details> element for collapsibles (#690) · e41c1cbe
      TimBaumann authored and Alex Biehl's avatar Alex Biehl committed
      * Remove unnecessary call to 'collapseSection'
      
      The call is unnecessary since there is no corresponding toggle for hiding the
      section of orphan instances.
      
      * Use <details> for collapsibles
      
      This makes them work even when JS is disabled. Closes #560.
      e41c1cbe
  7. Sep 23, 2017
    • TimBaumann's avatar
      Add compile step that bundles and compresses JS files (#684) · e99aefb5
      TimBaumann authored and Alex Biehl's avatar Alex Biehl committed
      * Add compile step that bundles and compresses JS files
      
      Also, manage dependencies on third-party JS libraries using NPM.
      
      * Compile JS from TypeScript
      
      * Enable 'noImplicitAny' in TypeScript
      
      * QuickJump: use JSX syntax
      
      * Generate source maps from TypeScript for easier debugging
      
      * TypeScript: more accurate type
      
      * Separate quick jump css file from ocean theme
      e99aefb5
  8. Sep 01, 2017
  9. Aug 29, 2017
  10. Aug 28, 2017
  11. Aug 27, 2017
  12. Jul 17, 2017
  13. Apr 30, 2017
  14. Apr 26, 2017
  15. Apr 03, 2017
  16. Mar 23, 2017
  17. Mar 22, 2017
  18. Jun 16, 2016
  19. May 25, 2016
  20. May 14, 2016
  21. Feb 08, 2016
    • Rufflewind's avatar
      Move the permalinks to "#" on the right side · 1b6bcd62
      Rufflewind authored and Ben Gamari's avatar Ben Gamari committed
      Since pull request #407, the identifiers have been permalinked to
      themselves, but this makes it difficult to copy the identifier by
      double-clicking.  To work around this usability problem, the permalinks
      are now placed on the far right adjacent to "Source", indicated by "#".
      
      Also, 'namedAnchor' now uses 'id' instead of 'name' (which is obsolete).
      1b6bcd62
  22. Aug 21, 2015
Loading