xtralab 0.12.5 → 0.13.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/editorBreadcrumbs/widget.js +5 -0
- package/lib/fileBrowser/commands.d.ts +4 -2
- package/lib/fileBrowser/commands.js +27 -3
- package/lib/fileBrowser/fileBrowser.js +65 -0
- package/lib/fileBrowser/widget.d.ts +27 -0
- package/lib/fileBrowser/widget.js +18 -0
- package/package.json +1 -1
- package/src/editorBreadcrumbs/widget.ts +5 -0
- package/src/fileBrowser/commands.ts +32 -2
- package/src/fileBrowser/fileBrowser.tsx +64 -0
- package/src/fileBrowser/widget.tsx +47 -0
- package/style/base.css +1 -1
- package/style/chrome.css +1167 -0
- package/style/index.css +1 -0
- package/style/index.js +1 -0
- package/style/launcher.css +5 -2
- package/style/omnibox.css +17 -7
- package/style/tabs.css +9 -0
- package/style/walkthrough.css +3 -1
package/style/index.css
CHANGED
package/style/index.js
CHANGED
package/style/launcher.css
CHANGED
|
@@ -349,9 +349,11 @@
|
|
|
349
349
|
cursor: not-allowed;
|
|
350
350
|
}
|
|
351
351
|
|
|
352
|
+
/* border-color0: chrome.css remaps color1 onto color2 in light themes, so
|
|
353
|
+
a color1 hover would be identical to the resting color2 border there. */
|
|
352
354
|
.jp-xtralab-Launcher-agent:hover:not(:disabled) {
|
|
353
355
|
background-color: var(--jp-layout-color2);
|
|
354
|
-
border-color: var(--jp-border-
|
|
356
|
+
border-color: var(--jp-border-color0);
|
|
355
357
|
}
|
|
356
358
|
|
|
357
359
|
.jp-xtralab-Launcher-agent-icon {
|
|
@@ -438,9 +440,10 @@
|
|
|
438
440
|
font-size: var(--jp-ui-font-size0);
|
|
439
441
|
}
|
|
440
442
|
|
|
443
|
+
/* border-color0 for the same light-theme reason as the agent cards. */
|
|
441
444
|
.jp-xtralab-Launcher-mcp-copy:hover {
|
|
442
445
|
background-color: var(--jp-layout-color2);
|
|
443
|
-
border-color: var(--jp-border-
|
|
446
|
+
border-color: var(--jp-border-color0);
|
|
444
447
|
}
|
|
445
448
|
|
|
446
449
|
.jp-xtralab-Launcher-mcp-copy:focus-visible {
|
package/style/omnibox.css
CHANGED
|
@@ -30,8 +30,9 @@
|
|
|
30
30
|
/* Drop just below the top bar so it reads as a command-center dropdown. */
|
|
31
31
|
margin-top: calc(var(--jp-private-menubar-height, 28px) + 4px);
|
|
32
32
|
background: var(--jp-layout-color1);
|
|
33
|
-
border: var(--jp-border-width) solid
|
|
34
|
-
|
|
33
|
+
border: var(--jp-border-width) solid
|
|
34
|
+
color-mix(in srgb, var(--jp-border-color1) 55%, transparent);
|
|
35
|
+
border-radius: 10px;
|
|
35
36
|
box-shadow: var(--jp-elevation-z6);
|
|
36
37
|
}
|
|
37
38
|
|
|
@@ -50,13 +51,17 @@
|
|
|
50
51
|
color: var(--jp-ui-font-color3);
|
|
51
52
|
}
|
|
52
53
|
|
|
54
|
+
/* Side gutters float the active-row highlight inside the panel edge,
|
|
55
|
+
matching the menu/palette treatment; section headers and items shift
|
|
56
|
+
together so their left alignment is preserved. */
|
|
53
57
|
.jp-xtralab-Omnibox-results {
|
|
54
|
-
padding:
|
|
58
|
+
padding: 5px 6px;
|
|
55
59
|
overflow-y: auto;
|
|
56
60
|
}
|
|
57
61
|
|
|
58
62
|
.jp-xtralab-Omnibox-sectionHeader {
|
|
59
|
-
|
|
63
|
+
/* 8px + the results container's 6px gutter = the item rows' 14px inset. */
|
|
64
|
+
padding: 6px 8px 2px;
|
|
60
65
|
font-size: var(--jp-ui-font-size0);
|
|
61
66
|
font-weight: 600;
|
|
62
67
|
color: var(--jp-ui-font-color2);
|
|
@@ -68,14 +73,18 @@
|
|
|
68
73
|
display: flex;
|
|
69
74
|
gap: 8px;
|
|
70
75
|
align-items: center;
|
|
71
|
-
padding: 5px
|
|
76
|
+
padding: 5px 8px;
|
|
72
77
|
font-size: var(--jp-ui-font-size1);
|
|
73
78
|
color: var(--jp-ui-font-color1);
|
|
74
79
|
cursor: pointer;
|
|
80
|
+
border-radius: 6px;
|
|
81
|
+
transition: background-color 120ms ease-out;
|
|
75
82
|
}
|
|
76
83
|
|
|
84
|
+
/* Translucent foreground wash (not an opaque layout color) so the
|
|
85
|
+
highlight reads correctly on the frosted panel background. */
|
|
77
86
|
.jp-xtralab-Omnibox-item.jp-mod-active {
|
|
78
|
-
background: var(--jp-
|
|
87
|
+
background: color-mix(in srgb, var(--jp-ui-font-color1) 8%, transparent);
|
|
79
88
|
}
|
|
80
89
|
|
|
81
90
|
.jp-xtralab-Omnibox-itemIcon {
|
|
@@ -114,7 +123,8 @@
|
|
|
114
123
|
}
|
|
115
124
|
|
|
116
125
|
.jp-xtralab-Omnibox-empty {
|
|
117
|
-
|
|
126
|
+
/* 8px + the results container's 6px gutter = the item rows' 14px inset. */
|
|
127
|
+
padding: 14px 8px;
|
|
118
128
|
font-size: var(--jp-ui-font-size1);
|
|
119
129
|
color: var(--jp-ui-font-color2);
|
|
120
130
|
}
|
package/style/tabs.css
CHANGED
|
@@ -26,6 +26,15 @@
|
|
|
26
26
|
width: auto;
|
|
27
27
|
}
|
|
28
28
|
|
|
29
|
+
/* Breathing room between the label and the close icon. Fit-content tabs put
|
|
30
|
+
the icon flush against the label's last glyph (stock's fixed-width tabs
|
|
31
|
+
hide this with slack space), and the icon-hover chip in chrome.css extends
|
|
32
|
+
2px beyond the icon box into this gap. */
|
|
33
|
+
.lm-DockPanel-tabBar .lm-TabBar-tab .lm-TabBar-tabCloseIcon,
|
|
34
|
+
.lm-TabPanel-tabBar .lm-TabBar-tab .lm-TabBar-tabCloseIcon {
|
|
35
|
+
margin-left: 4px;
|
|
36
|
+
}
|
|
37
|
+
|
|
29
38
|
.lm-DockPanel-tabBar .lm-TabBar-content {
|
|
30
39
|
flex: 0 1 auto;
|
|
31
40
|
min-width: 0;
|
package/style/walkthrough.css
CHANGED
|
@@ -51,9 +51,11 @@
|
|
|
51
51
|
cursor: pointer;
|
|
52
52
|
}
|
|
53
53
|
|
|
54
|
+
/* border-color0: chrome.css remaps color1 onto color2 in light themes, so
|
|
55
|
+
a color1 hover would be identical to the resting color2 border there. */
|
|
54
56
|
.jp-xtralab-Walkthrough-jump:hover {
|
|
55
57
|
background-color: var(--jp-layout-color2);
|
|
56
|
-
border-color: var(--jp-border-
|
|
58
|
+
border-color: var(--jp-border-color0);
|
|
57
59
|
}
|
|
58
60
|
|
|
59
61
|
.jp-xtralab-Walkthrough-jump:focus-visible {
|