 Afshin Darian
|
3f0dc39e07
Update ShortcutSettings class.
|
6 years ago |
|
Afshin Darian
|
935da45339
Merge branch 'master' into keyboard-shortcuts
|
6 years ago |
|
Afshin Darian
|
a7aee6cb5b
Update ShortcutSettings class with default() method
|
6 years ago |
 Steven Silvester
|
0befb137d6
Merge pull request #5529 from futurist/master
|
6 years ago |
|
Steven Silvester
|
1d09ecfd04
Merge pull request #5649 from jupyterlab/vidartf-patch-1
|
6 years ago |
|
Steven Silvester
|
c138dee923
Merge pull request #5657 from vidartf/ext-mgr-docs
|
6 years ago |
 Vidar Tonaas Fauske
|
0e915031da
Add user note about extension companions
|
6 years ago |
|
Vidar Tonaas Fauske
|
73c59c286e
Add dev docs for extension manager
|
6 years ago |
|
Vidar Tonaas Fauske
|
e79d5bb460
Document extension manager for users
|
6 years ago |
|
Afshin Darian
|
a37ae20a60
Update Ajv dependency.
|
6 years ago |
|
Afshin Darian
|
ead7bc079f
Merge branch 'master' into keyboard-shortcuts
|
6 years ago |
|
Afshin Darian
|
68c0367018
Update shortcut extension to have an old plugin and a new one.
|
6 years ago |
|
Afshin Darian
|
b6374a582b
Respect deprecated flag in setting editor; return better error message if loading fails in setting editor.
|
6 years ago |
|
Afshin Darian
|
7b702475f9
Add deprecated flag to plugin schema; update Ajv; remove SettingRegistry#shortcuts
|
6 years ago |
 James Yang
|
144ae19a37
Merge branch 'master' into master
|
6 years ago |
|
futurist
|
711f57c3b5
resolve conflicts
|
6 years ago |
|
futurist
|
db20227cd9
add options to the advanced settings editor
|
6 years ago |
|
Steven Silvester
|
5667908614
Merge pull request #5644 from chalmerlowe/master
|
6 years ago |
|
Steven Silvester
|
cc2d614f3a
Merge pull request #5652 from malithsen/fix-4429
|
6 years ago |
|
Steven Silvester
|
150cff8bcc
Merge pull request #5646 from chalmerlowe/anotherterms
|
6 years ago |
 Malith Senaweera
|
29d23557bb
Add an option to toggle document scrolling behavior
|
6 years ago |
 Ian Rose
|
9fa8616097
Merge pull request #5642 from JohnJohnsonIII/master
|
6 years ago |
|
Ian Rose
|
bd47dbdc36
Merge pull request #5647 from russtoku/issue-2346
|
6 years ago |
|
Afshin Darian
|
4715d2539b
Plugin setting transform work in progress
|
6 years ago |
|
Afshin Darian
|
ab5c7710f6
Fix scope bug in setting registry transform.
|
6 years ago |
|
Vidar Tonaas Fauske
|
17b9139c98
Don't sort extension search alphabetically
|
6 years ago |
|
Afshin Darian
|
8904a4eb84
Add scaffolding for transforming shortcuts plugin.
|
6 years ago |
 Russ Tokuyama
|
3d1276cc83
Remove console.log() stuff
|
6 years ago |
 Chalmer Lowe
|
bd4fa7f29e
updated with details on terminalAvailable
|
6 years ago |
|
Russ Tokuyama
|
e724be77eb
Fixes issue #2346
|
6 years ago |
