@jupyterlab/extensionmanager 4.0.0-alpha.3 → 4.0.0-alpha.6

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.
Files changed (2) hide show
  1. package/package.json +9 -9
  2. package/style/base.css +23 -29
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@jupyterlab/extensionmanager",
3
- "version": "4.0.0-alpha.3",
3
+ "version": "4.0.0-alpha.6",
4
4
  "description": "JupyterLab - Extension Manager",
5
5
  "homepage": "https://github.com/jupyterlab/jupyterlab",
6
6
  "bugs": {
@@ -36,15 +36,15 @@
36
36
  "watch": "tsc -b --watch"
37
37
  },
38
38
  "dependencies": {
39
- "@jupyterlab/application": "^4.0.0-alpha.3",
40
- "@jupyterlab/apputils": "^4.0.0-alpha.3",
41
- "@jupyterlab/coreutils": "^6.0.0-alpha.3",
42
- "@jupyterlab/services": "^7.0.0-alpha.3",
43
- "@jupyterlab/settingregistry": "^4.0.0-alpha.3",
44
- "@jupyterlab/translation": "^4.0.0-alpha.3",
45
- "@jupyterlab/ui-components": "^4.0.0-alpha.18",
39
+ "@jupyterlab/application": "^4.0.0-alpha.6",
40
+ "@jupyterlab/apputils": "^4.0.0-alpha.6",
41
+ "@jupyterlab/coreutils": "^6.0.0-alpha.6",
42
+ "@jupyterlab/services": "^7.0.0-alpha.6",
43
+ "@jupyterlab/settingregistry": "^4.0.0-alpha.6",
44
+ "@jupyterlab/translation": "^4.0.0-alpha.6",
45
+ "@jupyterlab/ui-components": "^4.0.0-alpha.21",
46
46
  "@lumino/messaging": "^1.10.1",
47
- "@lumino/polling": "^1.9.1",
47
+ "@lumino/polling": "^1.10.0",
48
48
  "@lumino/signaling": "^1.10.1",
49
49
  "react": "^17.0.1",
50
50
  "react-paginate": "^6.3.2",
package/style/base.css CHANGED
@@ -3,7 +3,7 @@
3
3
  */
4
4
 
5
5
  .jp-extensionmanager-view {
6
- padding-bottom: 0px;
6
+ padding-bottom: 0;
7
7
  color: var(--jp-ui-font-color1);
8
8
  background: var(--jp-layout-color1);
9
9
  display: flex;
@@ -53,8 +53,7 @@
53
53
  display: flex;
54
54
  justify-content: space-between;
55
55
  flex: 0 0 auto;
56
- margin: 0px;
57
- padding-bottom: 8px;
56
+ margin: 0;
58
57
  font-weight: 600;
59
58
  text-transform: uppercase;
60
59
  border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
@@ -66,36 +65,27 @@
66
65
  }
67
66
 
68
67
  .jp-extensionmanager-view .jp-stack-panel-header > .jp-ToolbarButtonComponent {
69
- padding: 0px 2px;
68
+ padding: 0 2px;
69
+ border: 1px solid transparent;
70
+ background-color: var(--jp-layout-color1);
71
+ color: var(--jp-ui-font-color1);
70
72
  }
71
73
 
72
74
  .jp-extensionmanager-view
73
75
  .jp-stack-panel-header
74
76
  .jp-extensionmanager-headerText {
75
77
  flex: 1 0 auto;
76
- margin: 0px 4px;
78
+ margin: 0 4px;
77
79
  }
78
80
 
79
81
  .jp-extensionmanager-view
80
82
  .jp-stack-panel-header
81
83
  .jp-extensionmanager-headerTextDisabled {
82
84
  flex: 1 0 auto;
83
- margin: 0px 4px;
85
+ margin: 0 4px;
84
86
  color: var(--jp-layout-color3);
85
87
  }
86
88
 
87
- .jp-extensionmanager-view .jp-stack-panel-header > .jp-ToolbarButtonComponent {
88
- border: 1px solid transparent;
89
- background-color: var(--jp-layout-color1);
90
- color: var(--jp-ui-font-color1);
91
- }
92
-
93
- .jp-extensionmanager-view
94
- .jp-stack-panel-header
95
- > .jp-ToolbarButtonComponent:hover {
96
- /* border: 1px solid var(--jp-brand-color1); */
97
- }
98
-
99
89
  /*
100
90
  Listing messages
101
91
  */
@@ -151,8 +141,8 @@
151
141
 
152
142
  .jp-extensionmanager-view ul.pagination {
153
143
  display: inline-block;
154
- padding-left: 0px;
155
- padding-right: 0px;
144
+ padding-left: 0;
145
+ padding-right: 0;
156
146
  }
157
147
 
158
148
  .jp-extensionmanager-view .pagination li {
@@ -195,6 +185,9 @@
195
185
  .jp-extensionmanager-entry-description {
196
186
  min-width: 0;
197
187
  flex-grow: 1;
188
+ font-size: var(--jp-ui-font-size1);
189
+ color: var(--jp-ui-font-color2);
190
+ font-weight: 400;
198
191
  }
199
192
 
200
193
  .jp-extensionmanager-entry-title {
@@ -219,8 +212,10 @@
219
212
  padding-left: 4px;
220
213
  }
221
214
 
222
- .jp-extensionmanager-entry.jp-extensionmanager-entry-warning {
223
- }
215
+ /* this is not styled */
216
+
217
+ /* .jp-extensionmanager-entry.jp-extensionmanager-entry-warning {
218
+ } */
224
219
 
225
220
  .jp-extensionmanager-entry-name {
226
221
  font-size: var(--jp-ui-font-size1);
@@ -245,12 +240,6 @@
245
240
  text-decoration: underline;
246
241
  }
247
242
 
248
- .jp-extensionmanager-entry-description {
249
- font-size: var(--jp-ui-font-size1);
250
- color: var(--jp-ui-font-color2);
251
- font-weight: 400;
252
- }
253
-
254
243
  .jp-extensionmanager-loader,
255
244
  .jp-extensionmanager-error,
256
245
  .jp-extensionmanager-listview-message {
@@ -280,7 +269,7 @@
280
269
  background-color: var(--jp-layout-color1);
281
270
  }
282
271
 
283
- .jp-extensionmanager-pending.jp-mod-hasPending:before {
272
+ .jp-extensionmanager-pending.jp-mod-hasPending::before {
284
273
  display: block;
285
274
  position: absolute;
286
275
  content: '';
@@ -297,18 +286,23 @@
297
286
  left: -200px;
298
287
  width: 30%;
299
288
  }
289
+
300
290
  50% {
301
291
  width: 30%;
302
292
  }
293
+
303
294
  70% {
304
295
  width: 70%;
305
296
  }
297
+
306
298
  80% {
307
299
  left: 50%;
308
300
  }
301
+
309
302
  95% {
310
303
  left: 120%;
311
304
  }
305
+
312
306
  to {
313
307
  left: 100%;
314
308
  }