Commits · 223a43cd60968fe468835b61166a196c70607020 · Moritz Aurel Pascal Schubotz / CodeMirror

Jan 05, 2017
- [panel plugin] Make stable option also take effect when a panel is removed · 0fb17df6
  Marijn Haverbeke authored 8 years ago
  
  Issue #4485
  0fb17df6
Jan 04, 2017
- Fix ES6-ism in addon · 35f09250
  Marijn Haverbeke authored 8 years ago
  
  35f09250
- [panel addon] Implement a 'stable' option · 6928fec6
  Marijn Haverbeke authored 8 years ago
  
  Issue #4485
  6928fec6
Mar 24, 2015
- [panel addon] Make coding style conform · e0cf6f8d
  Marijn Haverbeke authored 10 years ago
  
  e0cf6f8d
- [panel addon] Add more options for panel positioning · 79e162b5
  ju1ius authored 10 years ago
  
  79e162b5
Dec 04, 2014

Marijn Haverbeke authored 10 years ago

Allows convenient showing of panels (DOM nodes) above or
below an editor, automatically shrinking the editor to make
space.

183ebcb7