Commit History

Author SHA1 Message Date
  Anton Akhmerov ccd03cfdb1 specify that feedback is also welcome 8 years ago
  Steven Silvester 69961684c1 Merge pull request #1560 from afshin/tooltip-dismiss 8 years ago
  Afshin Darian db5f91c62c Dismiss tooltip on keydown or mousedown events. 8 years ago
  Afshin Darian b701f034d7 Get rid of tooltip remove command and shortcuts. 8 years ago
  Afshin Darian 24649b5d7e Merge pull request #1558 from blink1073/fix-cm-padding 8 years ago
  Afshin Darian ba4e126d6c Merge pull request #1559 from blink1073/fix-labextension-fetch 8 years ago
  Steven Silvester b014de1016 Add manual load of server extension 8 years ago
  Steven Silvester 7af89c369b Fix handling of lab page when there is no extension config 8 years ago
  Steven Silvester ef77df0598 Fix codemirror gutter offset 8 years ago
  Afshin Darian a8355f33ad Merge pull request #1555 from blink1073/labapp-revisit 8 years ago
  Steven Silvester 6ab5916ca2 Merge pull request #1554 from afshin/commands-ids 8 years ago
  Steven Silvester 68b26f9262 Clean up the add_handlers function 8 years ago
  Afshin Darian 4990d98d73 Update shortcuts plugin to use exported command IDs. 8 years ago
  Steven Silvester 541c3546dc more cleanup of labapp 8 years ago
  Steven Silvester 6ab49dedb0 refactor the labapp 8 years ago
  Steven Silvester dfbee25572 Add the lab extensions to the handler directly 8 years ago
  Steven Silvester 1f934f9f8f Use the main notebook config file 8 years ago
  Afshin Darian c0bb74c16f Update command palette plugin commands. 8 years ago
  Afshin Darian 75f1992012 Update the tooltip plugin commands. 8 years ago
  Afshin Darian 60d28da5b4 Update terminal plugin commands. 8 years ago
  Afshin Darian 428dec5794 Update state database plugin commands. 8 years ago
  Steven Silvester 4e4094cd38 Update tests 8 years ago
  Afshin Darian 8859e4f2aa Update notebook plugin commands. 8 years ago
  Afshin Darian b5a43fc2da Update launcher plugin commands. 8 years ago
  Steven Silvester ea78f335b4 Separate lab config from server launch config 8 years ago
  Afshin Darian 9549bf46e9 Update landing plugin commands. 8 years ago
  Afshin Darian f10a15c758 Update inspector plugin commands. 8 years ago
  Afshin Darian b9c69ab8fc Update help plugin commands. 8 years ago
  Afshin Darian 98dd3dbdca Update image widget plugins. 8 years ago
  Afshin Darian cac9699ff1 Update file browser plugin commands. 8 years ago