 Steven Silvester
|
ea78f335b4
Separate lab config from server launch config
|
8 years ago |
|
Steven Silvester
|
1c15d29ed0
0.14.0
|
8 years ago |
|
Steven Silvester
|
73d0f35bdb
Merge pull request #1519 from afshin/tooltip
|
8 years ago |
 Afshin Darian
|
7a3ed94d6c
Merge pull request #1549 from blink1073/scrollable-launcher
|
8 years ago |
|
Afshin Darian
|
9c40afd8e9
Merge pull request #1547 from blink1073/more-consistent-commands
|
8 years ago |
|
Steven Silvester
|
5adb116871
Allow the the landing page to scroll
|
8 years ago |
|
Afshin Darian
|
62bfe6bd5b
Fix tests.
|
8 years ago |
|
Afshin Darian
|
67c6c34d60
Move key bindings to shortcut plugin.
|
8 years ago |
|
Afshin Darian
|
3e84164376
Clean up.
|
8 years ago |
|
Afshin Darian
|
bab936786a
Update commands, export command IDs.
|
8 years ago |
|
Afshin Darian
|
0496f22cd3
Modify notebook to set completer anchor to a widget.
|
8 years ago |
|
Afshin Darian
|
4dc430ef2a
Update completer to use an anchor widget instead of a node in order to mirror tooltip.
|
8 years ago |
|
Afshin Darian
|
58002acf70
Use notebook or console as an anchor.
|
8 years ago |
|
Afshin Darian
|
debe9041ad
Rebase issue resolution.
|
8 years ago |
|
Afshin Darian
|
53f88bdd92
Update styles
|
8 years ago |
|
Afshin Darian
|
405fb484dc
Handle tooltip anchor scrolling.
|
8 years ago |
|
Afshin Darian
|
513781b1fb
Update tooltip styles.
|
8 years ago |
|
Afshin Darian
|
99f080cac5
Update HoverBox to accept max and min height.
|
8 years ago |
|
Afshin Darian
|
dbe98a65f2
Formatting.
|
8 years ago |
|
Afshin Darian
|
39ec153b85
Move anchor management to widget.
|
8 years ago |
|
Afshin Darian
|
d68f8fe1aa
Clean up disposal.
|
8 years ago |
|
Afshin Darian
|
2505f2a9a7
Update keyboard shortcuts for dismissal of tooltips.
|
8 years ago |
|
Afshin Darian
|
ced4a4e4b6
User HoverBox for completer geometry.
|
8 years ago |
|
Afshin Darian
|
8c46d3b9f3
Add docs.
|
8 years ago |
|
Afshin Darian
|
e4f44a72e1
Add hoverbox. Work in progress.
|
8 years ago |
|
Afshin Darian
|
b8740eea5c
Clean up tooltip widget plugin.
|
8 years ago |
|
Afshin Darian
|
ffb7c27d25
Wire up content for tooltip widget. Add dispose.
|
8 years ago |
|
Afshin Darian
|
49649a7583
work in progress
|
8 years ago |
|
Afshin Darian
|
9a1ca1613d
Typo.
|
8 years ago |
|
Afshin Darian
|
03c462bedf
work in progress
|
8 years ago |
