flexlayout-react 0.8.4 → 0.8.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 (56) hide show
  1. package/ChangeLog.txt +9 -0
  2. package/README.md +29 -2
  3. package/declarations/Types.d.ts +2 -6
  4. package/declarations/view/Layout.d.ts +3 -1
  5. package/dist/flexlayout.js +7 -7
  6. package/dist/flexlayout_min.js +1 -1
  7. package/lib/Types.js +2 -6
  8. package/lib/Types.js.map +1 -1
  9. package/lib/model/TabSetNode.js +9 -4
  10. package/lib/model/TabSetNode.js.map +1 -1
  11. package/lib/view/BorderTabSet.js +11 -5
  12. package/lib/view/BorderTabSet.js.map +1 -1
  13. package/lib/view/Layout.js +3 -2
  14. package/lib/view/Layout.js.map +1 -1
  15. package/lib/view/PopupMenu.js +11 -5
  16. package/lib/view/PopupMenu.js.map +1 -1
  17. package/lib/view/TabOverflowHook.js +104 -21
  18. package/lib/view/TabOverflowHook.js.map +1 -1
  19. package/lib/view/TabSet.js +11 -5
  20. package/lib/view/TabSet.js.map +1 -1
  21. package/package.json +2 -2
  22. package/src/Types.ts +3 -8
  23. package/src/model/TabSetNode.ts +8 -4
  24. package/src/view/BorderTabSet.tsx +38 -24
  25. package/src/view/Layout.tsx +9 -5
  26. package/src/view/PopupMenu.tsx +31 -19
  27. package/src/view/TabOverflowHook.tsx +112 -21
  28. package/src/view/TabSet.tsx +36 -22
  29. package/style/_base.scss +569 -595
  30. package/style/_themes.scss +649 -0
  31. package/style/combined.css +1055 -0
  32. package/style/combined.css.map +1 -0
  33. package/style/combined.scss +46 -0
  34. package/style/dark.css +704 -701
  35. package/style/dark.css.map +1 -1
  36. package/style/dark.scss +5 -181
  37. package/style/gray.css +707 -684
  38. package/style/gray.css.map +1 -1
  39. package/style/gray.scss +5 -180
  40. package/style/light.css +681 -685
  41. package/style/light.css.map +1 -1
  42. package/style/light.scss +5 -163
  43. package/style/rounded.css +723 -730
  44. package/style/rounded.css.map +1 -1
  45. package/style/rounded.scss +5 -210
  46. package/style/underline.css +710 -705
  47. package/style/underline.css.map +1 -1
  48. package/style/underline.scss +5 -186
  49. package/.editorconfig +0 -8
  50. package/.github/ISSUE_TEMPLATE/bug_report.yml +0 -104
  51. package/.github/ISSUE_TEMPLATE/config.yml +0 -5
  52. package/.prettierrc.json +0 -3
  53. package/Screenshot_light.png +0 -0
  54. package/Screenshot_rounded.png +0 -0
  55. package/dist/bundles/demo.js +0 -232052
  56. package/dist/bundles/demo.js.map +0 -1
@@ -0,0 +1,649 @@
1
+ @use 'sass:color';
2
+
3
+ @mixin light_theme {
4
+ $color_text: black !default;
5
+ $color_background: white !default;
6
+ $color_base: white !default;
7
+ $color_1: color.adjust($color_base, $lightness: -3%) !default;
8
+ $color_2: color.adjust($color_1, $lightness: -3%) !default;
9
+ $color_3: color.adjust($color_2, $lightness: -3%) !default;
10
+ $color_4: color.adjust($color_3, $lightness: -3%) !default;
11
+ $color_5: color.adjust($color_4, $lightness: -3%) !default;
12
+ $color_6: color.adjust($color_5, $lightness: -3%) !default;
13
+ $color_drag1: rgb(95, 134, 196) !default;
14
+ $color_drag2: rgb(119, 166, 119) !default;
15
+ $color_drag1_background: rgba(95, 134, 196, 0.1) !default;
16
+ $color_drag2_background: rgba(119, 166, 119, 0.075) !default;
17
+
18
+ $font-size: medium !default;
19
+ $font-family: Roboto, Arial, sans-serif !default;
20
+
21
+ .flexlayout {
22
+ &__layout {
23
+ --color-text: #{$color_text};
24
+ --color-background: #{$color_background};
25
+ --color-base: #{$color_base};
26
+ --color-1: #{$color_1};
27
+ --color-2: #{$color_2};
28
+ --color-3: #{$color_3};
29
+ --color-4: #{$color_4};
30
+ --color-5: #{$color_5};
31
+ --color-6: #{$color_6};
32
+ --color-drag1: #{$color_drag1};
33
+ --color-drag2: #{$color_drag2};
34
+ --color-drag1-background: #{$color_drag1_background};
35
+ --color-drag2-background: #{$color_drag2_background};
36
+
37
+ --font-size: #{$font_size};
38
+ --font-family: #{$font_family};
39
+
40
+ --color-overflow: gray;
41
+ --color-icon: gray;
42
+
43
+ --color-tabset-background: var(--color-background);
44
+ --color-tabset-background-selected: var(--color-1);
45
+ --color-tabset-background-maximized: var(--color-2);
46
+ --color-tabset-divider-line: var(--color-4);
47
+
48
+ --color-tabset-header-background: var(--color-background);
49
+ --color-tabset-header: var(--color-text);
50
+
51
+ --color-border-tab-content: var(--color-background);
52
+ --color-border-background: var(--color-background);
53
+ --color-border-divider-line: var(--color-4);
54
+
55
+ --color-tab-content: var(--color-background);
56
+ --color-tab-selected: var(--color-text);
57
+ --color-tab-selected-background: var(--color-4);
58
+ --color-tab-unselected: gray;
59
+ --color-tab-unselected-background: transparent;
60
+ --color-tab-textbox: var(--color-text);
61
+ --color-tab-textbox-background: var(--color-3);
62
+
63
+ --color-border-tab-selected: var(--color-text);
64
+ --color-border-tab-selected-background: var(--color-4);
65
+ --color-border-tab-unselected: gray;
66
+ --color-border-tab-unselected-background: var(--color-2);
67
+
68
+ --color-splitter: var(--color-1);
69
+ --color-splitter-hover: var(--color-4);
70
+ --color-splitter-drag: var(--color-4);
71
+
72
+ --color-drag-rect-border: #ccc;
73
+ --color-drag-rect-background: var(--color-5);
74
+ --color-drag-rect: var(--color-text);
75
+
76
+ --color-popup-border: var(--color-6);
77
+ --color-popup-unselected: var(--color-text);
78
+ --color-popup-unselected-background: #{$color_background};
79
+ --color-popup-selected: var(--color-text);
80
+ --color-popup-selected-background: var(--color-3);
81
+
82
+ --color-edge-marker: #aaa;
83
+ --color-edge-icon: #555;
84
+
85
+ --color-mini-scroll-indicator: rgba(128, 128, 128, 0.5);
86
+ --color-mini-scroll-indicator-hovered: rgba(128, 128, 128, 0.7);
87
+ --size-mini-scroll-indicator: 3px;
88
+
89
+ --color-toolbar-button-hover: var(--color-3);
90
+ }
91
+ }
92
+ }
93
+
94
+ @mixin light_theme_overrides {
95
+ /*
96
+ light theme overrides
97
+ */
98
+
99
+ }
100
+
101
+ @mixin dark_theme {
102
+ $color_text: #eeeeee !default;
103
+ $color_background: black !default;
104
+ $color_base: black !default;
105
+ $color_1: color.adjust($color_base, $lightness: 7%) !default;
106
+ $color_2: color.adjust($color_base, $lightness: 10%) !default;
107
+ $color_3: color.adjust($color_base, $lightness: 15%) !default;
108
+ $color_4: color.adjust($color_base, $lightness: 20%) !default;
109
+ $color_5: color.adjust($color_base, $lightness: 25%) !default;
110
+ $color_6: color.adjust($color_base, $lightness: 30%) !default;
111
+ $color_drag1: rgb(207, 232, 255) !default;
112
+ $color_drag2: rgb(183, 209, 181) !default;
113
+ $color_drag1_background: rgba(128, 128, 128, 0.15) !default;
114
+ $color_drag2_background: rgba(128, 128, 128, 0.15) !default;
115
+
116
+ $font-size: medium !default;
117
+ $font-family: Roboto, Arial, sans-serif !default;
118
+
119
+ .flexlayout {
120
+ &__layout {
121
+ --color-text: #{$color_text};
122
+ --color-background: #{$color_background};
123
+ --color-base: #{$color_base};
124
+ --color-1: #{$color_1};
125
+ --color-2: #{$color_2};
126
+ --color-3: #{$color_3};
127
+ --color-4: #{$color_4};
128
+ --color-5: #{$color_5};
129
+ --color-6: #{$color_6};
130
+ --color-drag1: #{$color_drag1};
131
+ --color-drag2: #{$color_drag2};
132
+ --color-drag1-background: #{$color_drag1_background};
133
+ --color-drag2-background: #{$color_drag2_background};
134
+
135
+ --font-size: #{$font_size};
136
+ --font-family: #{$font_family};
137
+
138
+ --color-overflow: gray;
139
+ --color-icon: gray;
140
+
141
+ --color-tabset-background: var(--color-1);
142
+ --color-tabset-background-selected: var(--color-1);
143
+ --color-tabset-background-maximized: var(--color-6);
144
+ --color-tabset-divider-line: var(--color-4);
145
+
146
+ --color-tabset-header-background: var(--color-1);
147
+ --color-tabset-header: var(--color-text);
148
+
149
+ --color-border-tab-content: var(--color-background);
150
+ --color-border-background: var(--color-1);
151
+ --color-border-divider-line: var(--color-4);
152
+
153
+ --color-tab-content: var(--color-background);
154
+ --color-tab-selected: var(--color-text);
155
+ --color-tab-selected-background: var(--color-4);
156
+ --color-tab-unselected: gray;
157
+ --color-tab-unselected-background: transparent;
158
+ --color-tab-textbox: var(--color-text);
159
+ --color-tab-textbox-background: var(--color-3);
160
+
161
+ --color-border-tab-selected: var(--color-text);
162
+ --color-border-tab-selected-background: var(--color-4);
163
+ --color-border-tab-unselected: gray;
164
+ --color-border-tab-unselected-background: var(--color-2);
165
+
166
+ --color-splitter: var(--color-2);
167
+ --color-splitter-hover: var(--color-4);
168
+ --color-splitter-drag: var(--color-5);
169
+
170
+ --color-drag-rect-border: var(--color-4);
171
+ --color-drag-rect-background: var(--color-1);
172
+ --color-drag-rect: var(--color-text);
173
+
174
+ --color-popup-border: var(--color-6);
175
+ --color-popup-unselected: var(--color-text);
176
+ --color-popup-unselected-background: var(--color-background);
177
+ --color-popup-selected: var(--color-text);
178
+ --color-popup-selected-background: var(--color-4);
179
+
180
+ --color-edge-marker: gray;
181
+ --color-edge-icon: #eee;
182
+
183
+ --color-mini-scroll-indicator: rgba(128, 128, 128, 0.5);
184
+ --color-mini-scroll-indicator-hovered: rgba(128, 128, 128, 0.8);
185
+ --size-mini-scroll-indicator: 3px;
186
+
187
+ --color-toolbar-button-hover: var(--color-4);
188
+ }
189
+ }
190
+ }
191
+
192
+ @mixin dark_theme_overrides {
193
+ /*
194
+ dark theme overrides
195
+ */
196
+ .flexlayout {
197
+ &__tabset_header {
198
+ box-shadow: inset 0 0 3px 0 rgba(136, 136, 136, 0.54);
199
+ }
200
+
201
+ &__tabset-selected {
202
+ background-image: linear-gradient(var(--color-background), var(--color-4));
203
+ }
204
+
205
+ &__tabset-maximized {
206
+ background-image: linear-gradient(var(--color-6), var(--color-2));
207
+ }
208
+
209
+ &__tab_top {
210
+ box-shadow: inset -2px 0px 5px rgba(0, 0, 0, 0.1);
211
+ border-top-left-radius: 3px;
212
+ border-top-right-radius: 3px;
213
+ }
214
+
215
+ &__tab_bottom {
216
+ box-shadow: inset -2px 0px 5px rgba(0, 0, 0, 0.1);
217
+ border-bottom-left-radius: 3px;
218
+ border-bottom-right-radius: 3px;
219
+ }
220
+
221
+ &__border_button {
222
+ box-shadow: inset 0 0 5px rgba(0, 0, 0, .15);
223
+ border-radius: 3px;
224
+ }
225
+ }
226
+ }
227
+
228
+ @mixin gray_theme {
229
+ $color_text: black !default;
230
+ $color_background: white !default;
231
+ $color_base: white !default;
232
+ $color_1: color.adjust($color_base, $lightness: -3%) !default;
233
+ $color_2: color.adjust($color_base, $lightness: -10%) !default;
234
+ $color_3: color.adjust($color_base, $lightness: -15%) !default;
235
+ $color_4: color.adjust($color_base, $lightness: -20%) !default;
236
+ $color_5: color.adjust($color_base, $lightness: -25%) !default;
237
+ $color_6: color.adjust($color_base, $lightness: -30%) !default;
238
+ $color_drag1: rgb(95, 134, 196) !default;
239
+ $color_drag2: rgb(119, 166, 119) !default;
240
+ $color_drag1_background: rgba(95, 134, 196, 0.1) !default;
241
+ $color_drag2_background: rgba(119, 166, 119, 0.075) !default;
242
+ $font_size: medium !default;
243
+ $font_family: Roboto, Arial, sans-serif !default;
244
+
245
+ .flexlayout {
246
+ &__layout {
247
+ --color-text: #{$color_text};
248
+ --color-background: #{$color_background};
249
+ --color-base: #{$color_base};
250
+ --color-1: #{$color_1};
251
+ --color-2: #{$color_2};
252
+ --color-3: #{$color_3};
253
+ --color-4: #{$color_4};
254
+ --color-5: #{$color_5};
255
+ --color-6: #{$color_6};
256
+ --color-drag1: #{$color_drag1};
257
+ --color-drag2: #{$color_drag2};
258
+ --color-drag1-background: #{$color_drag1_background};
259
+ --color-drag2-background: #{$color_drag2_background};
260
+
261
+ --font-size: #{$font_size};
262
+ --font-family: #{$font_family};
263
+
264
+ --color-overflow: gray;
265
+ --color-icon: gray;
266
+
267
+ --color-tabset-background: var(--color-1);
268
+ --color-tabset-background-selected: var(--color-1);
269
+ --color-tabset-background-maximized: var(--color-6);
270
+ --color-tabset-divider-line: var(--color-3);
271
+
272
+ --color-tabset-header-background: var(--color-1);
273
+ --color-tabset-header: var(--color-text);
274
+
275
+ --color-border-tab-content: var(--color-background);
276
+ --color-border-background: var(--color-1);
277
+ --color-border-divider-line: var(--color-3);
278
+
279
+ --color-tab-content: var(--color-background);
280
+ --color-tab-selected: var(--color-text);
281
+ --color-tab-selected-background: var(--color-3);
282
+ --color-tab-unselected: gray;
283
+ --color-tab-unselected-background: transparent;
284
+ --color-tab-textbox: var(--color-text);
285
+ --color-tab-textbox-background: var(--color-3);
286
+
287
+ --color-border-tab-selected: var(--color-text);
288
+ --color-border-tab-selected-background: var(--color-3);
289
+ --color-border-tab-unselected: gray;
290
+ --color-border-tab-unselected-background: var(--color-2);
291
+
292
+ --color-splitter: var(--color-2);
293
+ --color-splitter-hover: var(--color-4);
294
+ --color-splitter-drag: var(--color-5);
295
+
296
+ --color-drag-rect-border: var(--color-4);
297
+ --color-drag-rect-background: var(--color-3);
298
+ --color-drag-rect: var(--color-text);
299
+
300
+ --color-popup-border: var(--color-6);
301
+ --color-popup-unselected: var(--color-text);
302
+ --color-popup-unselected-background: #{$color_background};
303
+ --color-popup-selected: var(--color-text);
304
+ --color-popup-selected-background: var(--color-3);
305
+
306
+ --color-edge-marker: #aaa;
307
+ --color-edge-icon: #555;
308
+
309
+ --color-mini-scroll-indicator: rgba(128, 128, 128, 0.5);
310
+ --color-mini-scroll-indicator-hovered: rgba(128, 128, 128, 0.7);
311
+ --size-mini-scroll-indicator: 3px;
312
+
313
+ --color-toolbar-button-hover: var(--color-4);
314
+ }
315
+ }
316
+ }
317
+
318
+ @mixin gray_theme_overrides {
319
+ /*
320
+ gray theme overrides
321
+ */
322
+ .flexlayout {
323
+ &__tabset-selected {
324
+ background-image: linear-gradient(var(--color-background), var(--color-4));
325
+ }
326
+
327
+ &__tabset_header {
328
+ box-shadow: inset 0 0 3px 0 rgba(136, 136, 136, 0.54);
329
+ }
330
+
331
+ &__tabset-selected {
332
+ background-image: linear-gradient(var(--color-background), var(--color-3));
333
+ }
334
+
335
+ &__tabset-maximized {
336
+ background-image: linear-gradient(var(--color-3), var(--color-1));
337
+ }
338
+
339
+ &__tab_button_top {
340
+ box-shadow: inset -2px 0px 5px rgba(0, 0, 0, 0.1);
341
+ border-top-left-radius: 3px;
342
+ border-top-right-radius: 3px;
343
+ }
344
+
345
+ &__tab_button_bottom {
346
+ box-shadow: inset -2px 0px 5px rgba(0, 0, 0, 0.1);
347
+ border-bottom-left-radius: 3px;
348
+ border-bottom-right-radius: 3px;
349
+ }
350
+
351
+ &__border_button {
352
+ box-shadow: inset 0 0 5px rgba(0, 0, 0, .15);
353
+ border-radius: 3px;
354
+ }
355
+ }
356
+ }
357
+
358
+ @mixin underline_theme {
359
+ $color_text: black !default;
360
+ $color_background: white !default;
361
+ $color_base: white !default;
362
+ $color_1: color.adjust($color_base, $lightness: -2%) !default;
363
+ $color_2: color.adjust($color_1, $lightness: -2%) !default;
364
+ $color_3: color.adjust($color_2, $lightness: -3%) !default;
365
+ $color_4: color.adjust($color_3, $lightness: -3%) !default;
366
+ $color_5: color.adjust($color_4, $lightness: -3%) !default;
367
+ $color_6: color.adjust($color_5, $lightness: -3%) !default;
368
+ $color_drag1: rgb(95, 134, 196) !default;
369
+ $color_drag2: rgb(119, 166, 119) !default;
370
+ $color_drag1_background: rgba(95, 134, 196, 0.1) !default;
371
+ $color_drag2_background: rgba(119, 166, 119, 0.075) !default;
372
+
373
+ $font-size: medium !default;
374
+ $font-family: Roboto, Arial, sans-serif !default;
375
+
376
+ .flexlayout {
377
+ &__layout {
378
+ --color-text: #{$color_text};
379
+ --color-background: #{$color_background};
380
+ --color-base: #{$color_base};
381
+ --color-1: #{$color_1};
382
+ --color-2: #{$color_2};
383
+ --color-3: #{$color_3};
384
+ --color-4: #{$color_4};
385
+ --color-5: #{$color_5};
386
+ --color-6: #{$color_6};
387
+ --color-drag1: #{$color_drag1};
388
+ --color-drag2: #{$color_drag2};
389
+ --color-drag1-background: #{$color_drag1_background};
390
+ --color-drag2-background: #{$color_drag2_background};
391
+
392
+ --font-size: #{$font_size};
393
+ --font-family: #{$font_family};
394
+
395
+ --color-overflow: gray;
396
+ --color-icon: gray;
397
+
398
+ --color-tabset-background: var(--color-background);
399
+ --color-tabset-background-selected: var(--color-1);
400
+ --color-tabset-background-maximized: var(--color-6);
401
+ --color-tabset-divider-line: var(--color-3);
402
+
403
+ --color-tabset-header-background: var(--color-background);
404
+ --color-tabset-header: var(--color-text);
405
+
406
+ --color-border-tab-content: var(--color-background);
407
+ --color-border-background: var(--color-background);
408
+ --color-border-divider-line: var(--color-3);
409
+
410
+ --color-tab-content: var(--color-background);
411
+ --color-tab-selected: var(--color-text);
412
+ --color-tab-selected-background: transparent;
413
+ --color-tab-unselected: gray;
414
+ --color-tab-unselected-background: transparent;
415
+ --color-tab-textbox: var(--color-text);
416
+ --color-tab-textbox-background: var(--color-3);
417
+
418
+ --color-border-tab-selected: var(--color-text);
419
+ --color-border-tab-selected-background: transparent;
420
+ --color-border-tab-unselected: gray;
421
+ --color-border-tab-unselected-background: transparent;
422
+
423
+ --color-splitter: var(--color-1);
424
+ --color-splitter-hover: var(--color-4);
425
+ --color-splitter-drag: var(--color-4);
426
+
427
+ --color-drag-rect-border: var(--color-6);
428
+ --color-drag-rect-background: var(--color-4);
429
+ --color-drag-rect: var(--color-text);
430
+
431
+ --color-popup-border: var(--color-6);
432
+ --color-popup-unselected: var(--color-text);
433
+ --color-popup-unselected-background: #{$color_background};
434
+ --color-popup-selected: var(--color-text);
435
+ --color-popup-selected-background: var(--color-3);
436
+
437
+ --color-edge-marker: #aaa;
438
+ --color-edge-icon: #555;
439
+
440
+ --color-underline: rgb(65, 105, 225);
441
+ --color-underline-hover: #aaa;
442
+ --underline_height: 3px;
443
+
444
+ --color-mini-scroll-indicator: rgba(128, 128, 128, 0.5);
445
+ --color-mini-scroll-indicator-hovered: rgba(128, 128, 128, 0.7);
446
+ --size-mini-scroll-indicator: 4px;
447
+
448
+ --color-toolbar-button-hover: var(--color-3);
449
+ }
450
+ }
451
+ }
452
+
453
+ @mixin underline_theme_overrides {
454
+ /*
455
+ underline theme overrides
456
+ */
457
+ .flexlayout {
458
+
459
+ &__tab_button {
460
+ padding: 2px 0.5em calc(4px - var(--underline_height)) 0.5em;
461
+ }
462
+
463
+ &__tab_button--selected {
464
+ border-bottom: var(--underline_height) solid var(--color-underline);
465
+ }
466
+
467
+ &__tab_button--unselected {
468
+ border-bottom: var(--underline_height) solid transparent;
469
+ }
470
+
471
+ &__border_button {
472
+ padding: 2px 0.5em calc(4px - var(--underline_height)) 0.5em;
473
+ }
474
+
475
+ &__border_button--selected {
476
+ border-bottom: var(--underline_height) solid var(--color-underline);
477
+ }
478
+
479
+ &__border_button--unselected {
480
+ border-bottom: var(--underline_height) solid transparent;
481
+ }
482
+
483
+ &__tabset_tab_divider,
484
+ &__border_tab_divider {
485
+ width: 1px;
486
+ margin: 4px 6px 4px 6px;
487
+ border-left: 1px solid #ddd;
488
+ }
489
+
490
+ &__tab_button_textbox {
491
+ border: none;
492
+ }
493
+ }
494
+ }
495
+
496
+ @mixin rounded_theme {
497
+ $color_text: black !default;
498
+ $color_background: #f2f6fb !default;
499
+ $color_base: #f2f6fb !default;
500
+ $color_1: color.adjust($color_base, $lightness: -3%) !default;
501
+ $color_2: color.adjust($color_1, $lightness: -3%) !default;
502
+ $color_3: color.adjust($color_2, $lightness: -3%) !default;
503
+ $color_4: color.adjust($color_3, $lightness: -3%) !default;
504
+ $color_5: color.adjust($color_4, $lightness: -3%) !default;
505
+ $color_6: color.adjust($color_5, $lightness: -3%) !default;
506
+ $color_drag1: rgb(95, 134, 196) !default;
507
+ $color_drag2: rgb(119, 166, 119) !default;
508
+ $color_drag1_background: rgba(95, 134, 196, 0.1) !default;
509
+ $color_drag2_background: rgba(119, 166, 119, 0.075) !default;
510
+
511
+ $font-size: medium !default;
512
+ $font-family: Roboto, Arial, sans-serif !default;
513
+
514
+ .flexlayout {
515
+ &__layout {
516
+
517
+ --color-text: #{$color_text};
518
+ --color-background: #{$color_background};
519
+ --color-base: #{$color_base};
520
+ --color-1: #{$color_1};
521
+ --color-2: #{$color_2};
522
+ --color-3: #{$color_3};
523
+ --color-4: #{$color_4};
524
+ --color-5: #{$color_5};
525
+ --color-6: #{$color_6};
526
+ --color-drag1: #{$color_drag1};
527
+ --color-drag2: #{$color_drag1};
528
+ --color-drag1-background: #{$color_drag1_background};
529
+ --color-drag2-background: #{$color_drag1_background};
530
+
531
+ --font-size: #{$font_size};
532
+ --font-family: #{$font_family};
533
+
534
+ --color-overflow: #999db2;
535
+ --color-icon: #999db2;
536
+
537
+ --color-tabset-background: white;
538
+ --color-tabset-background-selected: white;
539
+ --color-tabset-background-maximized: white;
540
+ --color-tabset-divider-line: white;
541
+
542
+ --color-tabset-header-background: var(--color-background);
543
+ --color-tabset-header: var(--color-text);
544
+
545
+ --color-border-tab-content: white;
546
+ --color-border-background: var(--color-background);
547
+ --color-border-divider-line: var(--color-background);
548
+
549
+ --color-tab-content: white;
550
+ --color-tab-selected: var(--color-text);
551
+ --color-tab-selected-background: var(--color-2);
552
+ --color-tab-unselected: gray;
553
+ --color-tab-unselected-background: #d3d4e745;
554
+ --color-tab-textbox: var(--color-text);
555
+ --color-tab-textbox-background: var(--color-3);
556
+
557
+ --color-border-tab-selected: var(--color-text);
558
+ --color-border-tab-selected-background: var(--color-2);
559
+ --color-border-tab-unselected: gray;
560
+ --color-border-tab-unselected-background: #d3d4e745;
561
+
562
+ --color-splitter: #{$color_background};
563
+ --color-splitter-hover: var(--color-4);
564
+ --color-splitter-drag: var(--color-4);
565
+
566
+ --color-drag-rect-border: #ccc;
567
+ --color-drag-rect-background: var(--color-5);
568
+ --color-drag-rect: var(--color-text);
569
+
570
+ --color-popup-border: var(--color-6);
571
+ --color-popup-unselected: var(--color-text);
572
+ --color-popup-unselected-background: #{$color_background};
573
+ --color-popup-selected: var(--color-text);
574
+ --color-popup-selected-background: var(--color-3);
575
+
576
+ --color-edge-marker: #a6bbdf;
577
+ --color-edge-icon: #555;
578
+
579
+ --color-mini-scroll-indicator: rgba(180, 200, 230, 0.5);
580
+ --color-mini-scroll-indicator-hovered: rgba(180, 200, 230, 0.7);
581
+
582
+ --size-mini-scroll-indicator: 4px;
583
+
584
+ --color-toolbar-button-hover: var(--color-2);
585
+ }
586
+ }
587
+ }
588
+
589
+ @mixin rounded_theme_overrides {
590
+ /*
591
+ rounded theme overrides
592
+ */
593
+ .flexlayout {
594
+ &__tabset {
595
+ padding: 3px;
596
+ border-radius: 10px;
597
+ }
598
+
599
+ &__tabset_content {
600
+ padding: 1px 3px 3px 3px;
601
+ border-bottom-left-radius: 10px;
602
+ border-bottom-right-radius: 10px;
603
+ }
604
+
605
+ &__tab_border {
606
+ border-radius: 10px;
607
+ padding: 5px;
608
+ }
609
+
610
+ &__border_tab_contents {
611
+ border-radius: 10px;
612
+ }
613
+
614
+ &__tab_button,
615
+ &__border_button {
616
+ border-radius: 10px;
617
+ padding: 2px 0.8em;
618
+ }
619
+
620
+ &__tabset_tabbar_outer_top {
621
+ border-bottom: unset;
622
+ padding-bottom: 1px;
623
+ }
624
+
625
+ &__tabset_tabbar_inner_tab_container_top {
626
+ border-bottom: 2px solid transparent;
627
+ }
628
+
629
+ &__border_bottom {
630
+ border-top: 2px solid var(--color-border-divider-line);
631
+ }
632
+
633
+ &__border_sizer {
634
+ padding-bottom: 6px;
635
+ }
636
+
637
+ &__tab_button_trailing:hover {
638
+ background-color: var(--color-3);
639
+ }
640
+
641
+ &__border_button_trailing:hover {
642
+ background-color: var(--color-3);
643
+ }
644
+
645
+ &__splitter {
646
+ background-color: transparent;
647
+ }
648
+ }
649
+ }