Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

Commit 47518c8

Browse files
author
guinsoolab@gmail.com
committed
ui: update kernel state bar
1 parent e174429 commit 47518c8

File tree

13 files changed

+108
-38
lines changed

13 files changed

+108
-38
lines changed

‎packages/application/style/core.css‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,7 @@ body {
6969
padding-left: calc(
7070
var(--jp-private-sidebar-tab-width) + var(--jp-border-width)
7171
);
72-
border-bottom: var(--jp-border-width) solid var(--jp-border-color0);
72+
border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
7373

7474
/* Adjust min-height so open menus show up in the right place */
7575
min-height: calc(

‎packages/collaboration/src/menu.ts‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -114,7 +114,7 @@ export class RendererUserMenu extends MenuBar.Renderer {
114114
return h.div(
115115
{
116116
className:
117-
'lm-MenuBar-itemIcon p-MenuBar-itemIcon jp-MenuBar-CommonLabel',
117+
'lm-MenuBar-itemIcon p-MenuBar-itemIcon jp-MenuBar-CommonLabel-Active',
118118
onclick: async event => {
119119
let results: { token: string }[];
120120
const isRunningUnderJupyterhub =
@@ -237,7 +237,7 @@ export class RendererUserMenu extends MenuBar.Renderer {
237237
}
238238
}
239239
},
240-
'Preview'
240+
'Publish'
241241
);
242242
}
243243
}

‎packages/collaboration/style/menu.css‎

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@
1919
width: 28px;
2020
height: 28px;
2121
text-align: center;
22-
border-radius: 4px;
22+
border-radius: 50%;
2323
margin: 0 16px;
2424
}
2525

@@ -32,6 +32,15 @@
3232
margin: 0 4px;
3333
}
3434

35+
.jp-MenuBar-CommonLabel-Active {
36+
height: 28px;
37+
width: 70px;
38+
text-align: center;
39+
border-radius: 2px;
40+
border: 1px solid var(--jp-brand-color1);
41+
margin: 0 4px;
42+
}
43+
3544
.jp-MenuBar-imageIcon img {
3645
width: 28px;
3746
border-radius: 100%;

‎packages/extensionmanager/style/base.css‎

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,6 @@
3737
.jp-extensionmanager-listview-wrapper {
3838
margin: 0;
3939
padding: 0;
40-
padding-bottom: 8px;
4140
display: flex;
4241
flex-direction: column;
4342
flex: 0 0 auto;
@@ -59,7 +58,6 @@
5958
justify-content: space-between;
6059
flex: 0 0 auto;
6160
margin: 0;
62-
padding-bottom: 8px;
6361
font-weight: 600;
6462
text-transform: uppercase;
6563
border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
@@ -321,14 +319,14 @@
321319
.jp-extensionmanager-disclaimer-disable {
322320
background-color: var(--jp-brand-color1) !important;
323321
color: white !important;
324-
border: 0;
322+
border: 2px;
325323
background-image: none !important;
326324
}
327325

328326
.jp-extensionmanager-disclaimer-enable {
329-
background-color: var(--jp-error-color1) !important;
327+
background-color: var(--jp-brand-color1) !important;
330328
color: white !important;
331-
border: 0;
329+
border: 2px;
332330
background-image: none !important;
333331
}
334332

‎packages/filebrowser/style/base.css‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -70,6 +70,7 @@
7070
flex: 0 0 auto;
7171
padding-left: 0;
7272
padding-right: 2px;
73+
height: var(--jp-private-filebrowser-button-height);
7374
}
7475

7576
.jp-FileBrowser-toolbar > .jp-Toolbar-item .jp-ToolbarButtonComponent {

‎packages/logconsole-extension/style/base.css‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -60,6 +60,8 @@
6060
}
6161

6262
/* Copied from the notebook cell type dropdown styling */
63-
.jp-LogConsole-toolbarLogLevelDropdown span {
64-
top: 5px !important;
63+
.jp-LogConsole-toolbarLogLevelDropdown span svg {
64+
display: flex;
65+
align-items: center;
66+
padding: 8px;
6567
}

‎packages/notebook-extension/schema/panel.json‎

Lines changed: 3 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -3,17 +3,10 @@
33
"description": "Notebook Panel settings.",
44
"jupyter.lab.toolbars": {
55
"Notebook": [
6-
{
7-
"name": "insert",
8-
"command": "notebook:insert-cell-below",
9-
"icon": "ui-components:add",
10-
"rank": 20
11-
},
6+
{ "name": "executionProgress", "rank": 22 },
127
{ "name": "spacer", "type": "spacer", "rank": 100 },
13-
{ "name": "cellType", "rank": 200 },
14-
{ "name": "kernelName", "rank": 1000 },
15-
{ "name": "kernelStatus", "rank": 1001 },
16-
{ "name": "executionProgress", "rank": 1002 }
8+
{ "name": "run", "command": "notebook:run-all-cells", "rank": 130 },
9+
{ "name": "restart", "command": "kernelmenu:restart", "rank": 132 }
1710
]
1811
},
1912
"jupyter.lab.transform": true,

‎packages/notebook/style/base.css‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@
3939
}
4040

4141
.jp-Notebook {
42-
padding: 10px 5%;
42+
padding: 10px 8%10px5%;
4343
outline: none;
4444
overflow: auto;
4545
background: var(--jp-layout-color0);

‎packages/notebook/style/executionindicator.css‎

Lines changed: 46 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -15,39 +15,73 @@
1515

1616
.jp-Notebook-ExecutionIndicator {
1717
position: relative;
18-
display: inline-block;
19-
height: 100%;
18+
19+
/*height: 100%;*/
20+
z-index: 9997;
21+
width: 55vw;
22+
display: flex;
23+
border: var(--jp-border-width) solid #e0e0e0;
24+
border-radius: 2px;
25+
padding: 4px 16px;
26+
align-items: center;
27+
}
28+
29+
.jp-Notebook-ExecutionIndicator[data-status='unknown'] {
30+
position: relative;
31+
32+
/*height: 100%;*/
2033
z-index: 9997;
34+
width: 55vw;
35+
display: flex;
36+
border: var(--jp-border-width) solid #e0e0e0;
37+
border-radius: 2px;
38+
padding: 4px 16px;
39+
align-items: center;
40+
}
41+
42+
.jp-Notebook-ExecutionIndicator div {
43+
display: flex;
44+
}
45+
46+
.jp-Notebook-ExecutionIndicator[data-status='unknown'] div .jp-icon3 {
47+
fill: var(--jp-brand-color0);
48+
}
49+
50+
.jp-Notebook-ExecutionIndicator[data-status='idle'] svg circle {
51+
stroke: var(--jp-success-color1);
2152
}
2253

2354
.jp-Notebook-ExecutionIndicator-tooltip {
24-
visibility: hidden;
55+
/*visibility: hidden;*/
2556
height: auto;
2657
width: fit-content;
2758
width: -moz-fit-content;
28-
background-color: var(--jp-layout-color2);
59+
60+
/*background-color: var(--jp-layout-color2);*/
2961
color: var(--jp-ui-font-color1);
3062
text-align: justify;
31-
border-radius: 6px;
63+
64+
/*border-radius: 6px;*/
3265
padding: 0 5px;
3366
position: fixed;
34-
display: table;
67+
68+
/*display: table;*/
3569
}
3670

3771
.jp-Notebook-ExecutionIndicator-tooltip.up {
38-
transform: translateX(-50%) translateY(-100%) translateY(-32px);
72+
/*transform: translateX(-50%) translateY(-100%) translateY(-32px);*/
3973
}
4074

4175
.jp-Notebook-ExecutionIndicator-tooltip.down {
42-
transform: translateX(calc(-100% + 16px)) translateY(5px);
76+
/*transform: translateX(calc(-100% + 16px)) translateY(5px);*/
4377
}
4478

4579
.jp-Notebook-ExecutionIndicator-tooltip.hidden {
46-
display: none;
80+
/*display: none;*/
4781
}
4882

4983
.jp-Notebook-ExecutionIndicator:hover .jp-Notebook-ExecutionIndicator-tooltip {
50-
visibility: visible;
84+
/*visibility: visible;*/
5185
}
5286

5387
.jp-Notebook-ExecutionIndicator span {
@@ -56,6 +90,8 @@
5690
color: var(--jp-ui-font-color1);
5791
line-height: 24px;
5892
display: block;
93+
padding-left: 16px;
94+
float: right;
5995
}
6096

6197
.jp-Notebook-ExecutionIndicator-progress-bar {

‎packages/notebook/style/toolbar.css‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99

1010
:root {
1111
--jp-notebook-toolbar-padding: 2px 5px 2px 2px;
12-
--jp-private-toolbar-height: 44px;
12+
--jp-private-toolbar-height: 54px;
1313
}
1414

1515
/*-----------------------------------------------------------------------------

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /