| Draggable.js |
|
2774 |
| GridElementResizer.css |
The space we'll have on each side of the "splitter border" |
1027 |
| GridElementWidthResizer.js |
Set 'resizing' cursor on entire document during splitter dragging.
This avoids cursor-flickering that happens when the mouse leaves
the splitter bar area (happens frequently).
|
3949 |
| moz.build |
|
381 |
| SplitBox.css |
Positive z-index positions the splitter on top of its siblings and makes
it clickable on both sides. |
2284 |
| SplitBox.js |
This component represents a Splitter. The splitter supports vertical
as well as horizontal mode.
|
10812 |