jupyterlab_ai_code_assistants_extension 1.2.30 → 1.2.31
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/core/panel.js +6 -4
- package/package.json +1 -1
- package/src/core/panel.ts +6 -4
- package/style/base.css +12 -9
package/lib/core/panel.js
CHANGED
|
@@ -1620,8 +1620,10 @@ export class AssistantSessionsPanel extends Widget {
|
|
|
1620
1620
|
row.appendChild(this._renderIndicator(session));
|
|
1621
1621
|
}
|
|
1622
1622
|
// No star in the Favorites section - every row there is one by definition.
|
|
1623
|
-
// The star sits before the time
|
|
1624
|
-
//
|
|
1623
|
+
// The star sits before the time label and beside it: the label sizes to its
|
|
1624
|
+
// own text, so the distance between the two is the row's gap on every row
|
|
1625
|
+
// rather than however much shorter than "11mo ago" this label happens to
|
|
1626
|
+
// be.
|
|
1625
1627
|
if (session.favourite && sectionKey !== 'favourites') {
|
|
1626
1628
|
// A marker, not a control. It carried a `title` that made it read as
|
|
1627
1629
|
// one while a click fell through to the row and launched a terminal;
|
|
@@ -1634,8 +1636,8 @@ export class AssistantSessionsPanel extends Widget {
|
|
|
1634
1636
|
starFilledIcon.element({ container: star });
|
|
1635
1637
|
row.appendChild(star);
|
|
1636
1638
|
}
|
|
1637
|
-
// Always present
|
|
1638
|
-
// same
|
|
1639
|
+
// Always present, empty when the session carries no mtime, so every row
|
|
1640
|
+
// has the same elements in the same order whatever the data holds.
|
|
1639
1641
|
const time = document.createElement('span');
|
|
1640
1642
|
time.className = 'jp-AiAssistantsPanel-rowTime';
|
|
1641
1643
|
time.textContent = session.file_mtime
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "jupyterlab_ai_code_assistants_extension",
|
|
3
|
-
"version": "1.2.
|
|
3
|
+
"version": "1.2.31",
|
|
4
4
|
"description": "A full launcher and manager for every AI code assistant in JupyterLab - Claude Code, Codex, Kimi, Gemini and DeepSeek. Start, resume, fork, switch, and clean up CLI sessions from a side panel per assistant - one click lands you in the right terminal with the assistant already running, no duplicate tabs, no UUID hunting.",
|
|
5
5
|
"keywords": [
|
|
6
6
|
"jupyter",
|
package/src/core/panel.ts
CHANGED
|
@@ -1927,8 +1927,10 @@ export class AssistantSessionsPanel extends Widget {
|
|
|
1927
1927
|
}
|
|
1928
1928
|
|
|
1929
1929
|
// No star in the Favorites section - every row there is one by definition.
|
|
1930
|
-
// The star sits before the time
|
|
1931
|
-
//
|
|
1930
|
+
// The star sits before the time label and beside it: the label sizes to its
|
|
1931
|
+
// own text, so the distance between the two is the row's gap on every row
|
|
1932
|
+
// rather than however much shorter than "11mo ago" this label happens to
|
|
1933
|
+
// be.
|
|
1932
1934
|
if (session.favourite && sectionKey !== 'favourites') {
|
|
1933
1935
|
// A marker, not a control. It carried a `title` that made it read as
|
|
1934
1936
|
// one while a click fell through to the row and launched a terminal;
|
|
@@ -1942,8 +1944,8 @@ export class AssistantSessionsPanel extends Widget {
|
|
|
1942
1944
|
row.appendChild(star);
|
|
1943
1945
|
}
|
|
1944
1946
|
|
|
1945
|
-
// Always present
|
|
1946
|
-
// same
|
|
1947
|
+
// Always present, empty when the session carries no mtime, so every row
|
|
1948
|
+
// has the same elements in the same order whatever the data holds.
|
|
1947
1949
|
const time = document.createElement('span');
|
|
1948
1950
|
time.className = 'jp-AiAssistantsPanel-rowTime';
|
|
1949
1951
|
time.textContent = session.file_mtime
|
package/style/base.css
CHANGED
|
@@ -956,17 +956,20 @@ body[data-jp-theme-light='true'] .jp-AiAssistantsPanel-dotGlyph {
|
|
|
956
956
|
color: var(--jp-layout-color1);
|
|
957
957
|
}
|
|
958
958
|
|
|
959
|
-
/* Last-activity time on session rows - dim,
|
|
960
|
-
|
|
959
|
+
/* Last-activity time on session rows - dim, and ending on the same vertical
|
|
960
|
+
line down the whole panel because it is the last item on a row whose name
|
|
961
|
+
takes all the slack.
|
|
962
|
+
The label sizes to its own text. A fixed 4.5em box held the difference
|
|
963
|
+
between the label and the widest one ("11mo ago") open as empty space on its
|
|
964
|
+
LEFT, which is where the favourite star sits, so the star stood 32px from a
|
|
965
|
+
short label such as "now" and 6px from the longest - measured on the row
|
|
966
|
+
markup against this stylesheet, 2026-09-23. Sizing to the text puts the star
|
|
967
|
+
the row's own 6px gap from every label, and removes the one case the fixed
|
|
968
|
+
box still got wrong: a label wider than the box overflowed it and broke the
|
|
969
|
+
alignment the box was there to keep. Tabular figures keep the digits an even
|
|
970
|
+
width, as the branch popup's twin already does. */
|
|
961
971
|
.jp-AiAssistantsPanel-rowTime {
|
|
962
972
|
flex: 0 0 auto;
|
|
963
|
-
|
|
964
|
-
/* 4.5em, not 4em: the longest label this column draws ("11mo ago") measures
|
|
965
|
-
47.4px against a 43.3px box, so the one column promised as fixed-width
|
|
966
|
-
right-aligned went ragged on exactly the oldest rows. Tabular figures keep
|
|
967
|
-
the digits aligned down the column, as the branch popup's twin already
|
|
968
|
-
does. */
|
|
969
|
-
width: 4.5em;
|
|
970
973
|
white-space: nowrap;
|
|
971
974
|
text-align: right;
|
|
972
975
|
color: var(--jp-ui-font-color2);
|