Skip to content

Commit e7b5c37

Browse files
jtpiogithub-actions[bot]
andauthoredFeb 20, 2023
File browser CSS tweaks (#6738)
* File browser CSS tweaks * Set tabsMovable to false * Style file browser buttons * Add missing headers * Update Playwright Snapshots * Update Playwright Snapshots * Lint --------- Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
1 parent 49dfd72 commit e7b5c37

File tree

12 files changed

+33
-1
lines changed

12 files changed

+33
-1
lines changed
 

‎packages/application/style/base.css

+4-1
Original file line numberDiff line numberDiff line change
@@ -59,7 +59,6 @@ body {
5959
}
6060

6161
#main-panel {
62-
box-shadow: var(--jp-elevation-z4);
6362
margin-left: auto;
6463
margin-right: auto;
6564
max-width: var(--jp-notebook-max-width);
@@ -71,6 +70,10 @@ body {
7170

7271
/* Special case notebooks as document oriented pages */
7372

73+
[data-notebook]:not(body[data-notebook='notebooks']) #main-panel {
74+
box-shadow: var(--jp-elevation-z4);
75+
}
76+
7477
body[data-notebook='notebooks'] #main-panel {
7578
margin-left: unset;
7679
margin-right: unset;

‎packages/tree-extension/src/index.ts

+1
Original file line numberDiff line numberDiff line change
@@ -159,6 +159,7 @@ const notebookTreeWidget: JupyterFrontEndPlugin<INotebookTree> = {
159159

160160
nbTreeWidget.addWidget(browser);
161161
nbTreeWidget.tabBar.addTab(browser.title);
162+
nbTreeWidget.tabsMovable = false;
162163

163164
// Toolbar
164165
toolbarRegistry.addFactory(
+17
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
/*-----------------------------------------------------------------------------
2+
| Copyright (c) Jupyter Development Team.
3+
|
4+
| Distributed under the terms of the Modified BSD License.
5+
|----------------------------------------------------------------------------*/
6+
7+
.jp-FileBrowser-toolbar .jp-Toolbar-item.jp-DropdownMenu,
8+
.jp-FileBrowser-toolbar .jp-Toolbar-item.jp-ToolbarButton,
9+
.jp-FileBrowser-toolbar .jp-Toolbar-item.jp-CommandToolbarButton {
10+
border: solid 1px var(--jp-border-color2);
11+
margin: 1px;
12+
padding: 0px;
13+
}
14+
15+
.jp-FileBrowser-toolbar button.jp-ToolbarButtonComponent {
16+
height: 100%;
17+
}
+8
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,11 @@
1+
/*-----------------------------------------------------------------------------
2+
| Copyright (c) Jupyter Development Team.
3+
|
4+
| Distributed under the terms of the Modified BSD License.
5+
|----------------------------------------------------------------------------*/
6+
17
@import url('~@jupyterlab/filebrowser/style/index.css');
28

39
@import url('~@jupyter-notebook/tree/style/index.css');
10+
11+
@import './base.css';
+2
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
11
import '@jupyterlab/filebrowser/style/index.js';
22

33
import '@jupyter-notebook/tree/style/index.js';
4+
5+
import './base.css';

‎packages/tree/style/base.css

+1
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@
1818
}
1919

2020
.jp-TreePanel .lm-TabBar-tab {
21+
flex: 0 1 auto;
2122
color: var(--jp-ui-font-color0);
2223
font-size: var(--jp-ui-font-size1);
2324
height: 100%;
Loading
Loading
Loading
Loading
Loading
Loading

0 commit comments

Comments
 (0)
Please sign in to comment.