goblin-desktop 2.1.2 → 2.1.3

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 (143) hide show
  1. package/.editorconfig +9 -9
  2. package/.eslintrc.js +28 -28
  3. package/.zou-flow +3 -3
  4. package/README.md +108 -108
  5. package/builders/builders.js +3 -3
  6. package/builders/wizard.js +457 -457
  7. package/contexts.js +13 -13
  8. package/desktop-manager.js +10 -10
  9. package/desktop-window.js +13 -13
  10. package/desktop.js +13 -13
  11. package/lib/service.js +137 -137
  12. package/package.json +36 -36
  13. package/password-wizard.js +13 -13
  14. package/quest-run-wizard.js +13 -13
  15. package/taskbar.js +13 -13
  16. package/widgets/audio/sfx.js +177 -177
  17. package/widgets/board/view.js +37 -37
  18. package/widgets/board/widget.js +65 -65
  19. package/widgets/contexts/logic-handlers.js +36 -36
  20. package/widgets/contexts/service.js +40 -40
  21. package/widgets/contexts/view.js +22 -22
  22. package/widgets/contexts/widget.js +147 -147
  23. package/widgets/datagrid/datagrid-entity.js +82 -82
  24. package/widgets/datagrid/datagrid-headers.js +272 -272
  25. package/widgets/datagrid/styles.js +13 -13
  26. package/widgets/datagrid/widget.js +192 -192
  27. package/widgets/datagrid-cell/styles.js +52 -52
  28. package/widgets/datagrid-cell/widget.js +41 -41
  29. package/widgets/datagrid-item/styles.js +15 -15
  30. package/widgets/datagrid-item/widget.js +74 -74
  31. package/widgets/default/view.js +142 -142
  32. package/widgets/desktop/compensator.js +9 -9
  33. package/widgets/desktop/logic-handlers.js +237 -237
  34. package/widgets/desktop/reducer.js +35 -35
  35. package/widgets/desktop/service.js +828 -828
  36. package/widgets/desktop/styles.js +28 -28
  37. package/widgets/desktop/widget.js +175 -175
  38. package/widgets/desktop-clock/styles.js +69 -69
  39. package/widgets/desktop-clock/widget.js +387 -387
  40. package/widgets/desktop-clock-clock/styles.js +56 -56
  41. package/widgets/desktop-clock-clock/widget.js +96 -96
  42. package/widgets/desktop-clock-menu/styles.js +129 -129
  43. package/widgets/desktop-clock-menu/widget.js +63 -63
  44. package/widgets/desktop-connection-status/reducer.js +15 -15
  45. package/widgets/desktop-connection-status/styles.js +44 -44
  46. package/widgets/desktop-connection-status/widget.js +129 -129
  47. package/widgets/desktop-content/widget.js +68 -68
  48. package/widgets/desktop-footer/reducer.js +31 -31
  49. package/widgets/desktop-footer/styles.js +36 -36
  50. package/widgets/desktop-footer/widget.js +52 -52
  51. package/widgets/desktop-monitors/styles.js +155 -155
  52. package/widgets/desktop-monitors/widget.js +272 -272
  53. package/widgets/desktop-notebook/styles.js +155 -155
  54. package/widgets/desktop-notebook/widget.js +252 -252
  55. package/widgets/desktop-notifications/styles.js +147 -147
  56. package/widgets/desktop-notifications/widget.js +231 -231
  57. package/widgets/desktop-scale/reducer.js +15 -15
  58. package/widgets/desktop-scale/styles.js +48 -48
  59. package/widgets/desktop-scale/widget.js +172 -172
  60. package/widgets/desktop-state-monitor/styles.js +72 -72
  61. package/widgets/desktop-state-monitor/widget.js +123 -123
  62. package/widgets/desktop-taskbar/widget.js +57 -57
  63. package/widgets/desktop-themes-menu/widget.js +121 -121
  64. package/widgets/desktop-topbar/widget.js +201 -201
  65. package/widgets/desktop-window/service.js +56 -56
  66. package/widgets/desktop-window/styles.js +22 -22
  67. package/widgets/desktop-window/widget.js +70 -70
  68. package/widgets/detail/compensator.js +17 -17
  69. package/widgets/detail/view.js +40 -40
  70. package/widgets/detail/widget.js +125 -125
  71. package/widgets/editor/widget.js +83 -83
  72. package/widgets/entity-alerts/styles.js +77 -77
  73. package/widgets/entity-alerts/widget.js +328 -328
  74. package/widgets/entity-list/styles.js +66 -66
  75. package/widgets/entity-list/view.js +36 -36
  76. package/widgets/entity-list/widget.js +209 -209
  77. package/widgets/entity-list-item/widget.js +68 -68
  78. package/widgets/entity-row/styles.js +105 -105
  79. package/widgets/entity-row/widget.js +524 -524
  80. package/widgets/entity-row-button/styles.js +46 -46
  81. package/widgets/entity-row-button/widget.js +57 -57
  82. package/widgets/entity-view/reducer.js +20 -20
  83. package/widgets/entity-view/styles.js +90 -90
  84. package/widgets/entity-view/widget.js +516 -516
  85. package/widgets/facet-checkbox/styles.js +17 -17
  86. package/widgets/facet-checkbox/widget.js +43 -43
  87. package/widgets/facet-filter/widget.js +94 -94
  88. package/widgets/facet-filter-add/styles.js +30 -30
  89. package/widgets/facet-filter-add/widget.js +105 -105
  90. package/widgets/facet-filter-button/styles.js +74 -74
  91. package/widgets/facet-filter-button/widget.js +214 -214
  92. package/widgets/facet-filter-list-dialog/styles.js +59 -59
  93. package/widgets/facet-filter-list-dialog/widget.js +253 -253
  94. package/widgets/facet-filter-list-dialog-footer/styles.js +22 -22
  95. package/widgets/facet-filter-list-dialog-footer/widget.js +105 -105
  96. package/widgets/facet-filter-range-dialog/styles.js +82 -82
  97. package/widgets/facet-filter-range-dialog/widget.js +399 -399
  98. package/widgets/facet-filter-range-dialog-footer/styles.js +22 -22
  99. package/widgets/facet-filter-range-dialog-footer/widget.js +182 -182
  100. package/widgets/gamepad/widget.js +75 -75
  101. package/widgets/helpers/facet-helpers.js +105 -105
  102. package/widgets/hinter/reducer.js +35 -35
  103. package/widgets/hinter/styles.js +79 -79
  104. package/widgets/hinter/view.js +31 -31
  105. package/widgets/hinter/widget.js +291 -291
  106. package/widgets/junction/styles.js +22 -22
  107. package/widgets/junction/widget.js +50 -50
  108. package/widgets/main-tab-menu/styles.js +17 -17
  109. package/widgets/main-tab-menu/widget.js +136 -136
  110. package/widgets/map/view.js +49 -49
  111. package/widgets/map/widget.js +65 -65
  112. package/widgets/monitor/reducer.js +15 -15
  113. package/widgets/monitor/widget.js +66 -66
  114. package/widgets/navigating-layer/widget.js +25 -25
  115. package/widgets/notifications-button/widget.js +44 -44
  116. package/widgets/password-wizard/service.js +53 -53
  117. package/widgets/password-wizard/ui.js +66 -66
  118. package/widgets/plugin/reducer.js +19 -19
  119. package/widgets/plugin/styles.js +294 -294
  120. package/widgets/plugin/widget.js +638 -637
  121. package/widgets/quest-run-wizard/service.js +49 -49
  122. package/widgets/quest-run-wizard/ui.js +25 -25
  123. package/widgets/search/styles.js +80 -80
  124. package/widgets/search/widget.js +285 -285
  125. package/widgets/simple/view.js +29 -29
  126. package/widgets/status-filters/widget.js +121 -121
  127. package/widgets/tab/styles.js +16 -16
  128. package/widgets/tab/widget.js +89 -89
  129. package/widgets/tab-content/widget.js +35 -35
  130. package/widgets/tabs/widget.js +48 -48
  131. package/widgets/taskbar/service.js +99 -99
  132. package/widgets/taskbar/view.js +24 -24
  133. package/widgets/taskbar/widget.js +167 -167
  134. package/widgets/widget-doc-caller/reducer.js +15 -15
  135. package/widgets/widget-doc-caller/styles.js +20 -20
  136. package/widgets/widget-doc-caller/widget.js +55 -55
  137. package/widgets/wizard/widget.js +299 -299
  138. package/widgets/wizard-buttons/widget.js +111 -111
  139. package/widgets/workitem/styles.js +281 -281
  140. package/widgets/workitem/view.js +62 -62
  141. package/widgets/workitem/widget.js +972 -972
  142. package/widgets/workitem-dialog/widget.js +86 -86
  143. package/widgets/workitem-fields/widget.js +63 -63
@@ -1,59 +1,59 @@
1
- /******************************************************************************/
2
-
3
- export default function styles(theme) {
4
- const facetFilterDialog = {
5
- position: 'absolute',
6
- top: '0px',
7
- bottom: '0px',
8
- left: '0px',
9
- right: '0px',
10
- display: 'flex',
11
- flexDirection: 'column',
12
- };
13
-
14
- const header = {
15
- height: '50px',
16
- minHeight: '50px',
17
- padding: '0px 10px 0px 30px',
18
- display: 'flex',
19
- flexDirection: 'row',
20
- alignItems: 'center',
21
- borderRadius: '0px 0px 3px 3px',
22
- backgroundColor: theme.palette.paneNavigatorBackground,
23
- };
24
-
25
- const buttons = {
26
- padding: '20px 30px 0px 30px',
27
- flexGrow: 1,
28
- display: 'flex',
29
- flexDirection: 'column',
30
- overflow: 'hidden',
31
- };
32
-
33
- const scrollable = {
34
- flexGrow: 1,
35
- overflowY: 'auto',
36
- };
37
-
38
- const letter = {
39
- margin: '20px 0px 5px 0px',
40
- borderBottom: `1px solid ${theme.palette.textColor}`,
41
- };
42
-
43
- const closeButton = {
44
- position: 'absolute',
45
- top: '10px',
46
- right: '10px',
47
- };
48
-
49
- return {
50
- facetFilterDialog,
51
- header,
52
- buttons,
53
- scrollable,
54
- letter,
55
- closeButton,
56
- };
57
- }
58
-
59
- /******************************************************************************/
1
+ /******************************************************************************/
2
+
3
+ export default function styles(theme) {
4
+ const facetFilterDialog = {
5
+ position: 'absolute',
6
+ top: '0px',
7
+ bottom: '0px',
8
+ left: '0px',
9
+ right: '0px',
10
+ display: 'flex',
11
+ flexDirection: 'column',
12
+ };
13
+
14
+ const header = {
15
+ height: '50px',
16
+ minHeight: '50px',
17
+ padding: '0px 10px 0px 30px',
18
+ display: 'flex',
19
+ flexDirection: 'row',
20
+ alignItems: 'center',
21
+ borderRadius: '0px 0px 3px 3px',
22
+ backgroundColor: theme.palette.paneNavigatorBackground,
23
+ };
24
+
25
+ const buttons = {
26
+ padding: '20px 30px 0px 30px',
27
+ flexGrow: 1,
28
+ display: 'flex',
29
+ flexDirection: 'column',
30
+ overflow: 'hidden',
31
+ };
32
+
33
+ const scrollable = {
34
+ flexGrow: 1,
35
+ overflowY: 'auto',
36
+ };
37
+
38
+ const letter = {
39
+ margin: '20px 0px 5px 0px',
40
+ borderBottom: `1px solid ${theme.palette.textColor}`,
41
+ };
42
+
43
+ const closeButton = {
44
+ position: 'absolute',
45
+ top: '10px',
46
+ right: '10px',
47
+ };
48
+
49
+ return {
50
+ facetFilterDialog,
51
+ header,
52
+ buttons,
53
+ scrollable,
54
+ letter,
55
+ closeButton,
56
+ };
57
+ }
58
+
59
+ /******************************************************************************/
@@ -1,253 +1,253 @@
1
- import React from 'react';
2
- import Widget from 'goblin-laboratory/widgets/widget';
3
- import DialogModal from 'goblin-gadgets/widgets/dialog-modal/widget';
4
- import Label from 'goblin-gadgets/widgets/label/widget';
5
- import Button from 'goblin-gadgets/widgets/button/widget';
6
- import TextFieldNC from 'goblin-gadgets/widgets/text-field-nc/widget';
7
- import FacetCheckbox from '../facet-checkbox/widget.js';
8
- import FacetFilterListDialogFooter from '../facet-filter-list-dialog-footer/widget.js';
9
- import FacetHelpers from '../helpers/facet-helpers';
10
- import {Unit} from 'goblin-theme';
11
- import T from 't';
12
- const px = Unit.toPx;
13
-
14
- class FacetFilterListDialog extends Widget {
15
- constructor() {
16
- super(...arguments);
17
-
18
- this.state = {
19
- filter: null,
20
- };
21
-
22
- this.changeFacet = this.changeFacet.bind(this);
23
- this.filterChange = this.filterChange.bind(this);
24
- this.onClose = this.onClose.bind(this);
25
- }
26
-
27
- //#region get/set
28
- get filter() {
29
- return this.state.filter;
30
- }
31
- set filter(value) {
32
- this.setState({
33
- filter: value,
34
- });
35
- }
36
- //#endregion
37
-
38
- getFilteredKeys(filter) {
39
- const keys = this.getState()
40
- .backend.get(this.props.id)
41
- .get('checkboxes')
42
- .get(this.props.name)
43
- .keySeq();
44
- const type = FacetHelpers.getType(keys);
45
- filter = FacetHelpers.preprocessFilter(filter);
46
-
47
- return keys.filter((key) => {
48
- const text = FacetHelpers.format(key, type);
49
- return FacetHelpers.match(text, filter);
50
- });
51
- }
52
-
53
- onClose() {
54
- this.props.onClose();
55
- }
56
-
57
- changeFacet(facet) {
58
- return () => {
59
- this.doAs('list', 'toggle-facet-filter', {
60
- filterName: this.props.name,
61
- facet: facet,
62
- });
63
- };
64
- }
65
-
66
- initAllFacets(keys) {
67
- this.doAs('list', 'init-all-facets', {
68
- filterName: this.props.name,
69
- keys,
70
- });
71
- }
72
-
73
- filterChange(text) {
74
- this.filter = text;
75
-
76
- const keys = this.getFilteredKeys(text);
77
- this.initAllFacets(keys);
78
- }
79
-
80
- /******************************************************************************/
81
-
82
- renderClose() {
83
- return (
84
- <div className={this.styles.classNames.closeButton}>
85
- <Button
86
- border="none"
87
- glyph="solid/times"
88
- glyphSize="120%"
89
- tooltip={T('Fermer')}
90
- height="32px"
91
- width="32px"
92
- onClick={this.onClose}
93
- />
94
- </div>
95
- );
96
- }
97
-
98
- renderHeader(keys) {
99
- if (this.props.numberOfCheckboxes <= 5) {
100
- return <div className={this.styles.classNames.header}></div>;
101
- } else {
102
- return (
103
- <div className={this.styles.classNames.header}>
104
- <Label text={T('Filtre')} />
105
- <TextFieldNC
106
- width="300px"
107
- shape={this.filter ? 'left-rounded' : 'rounded'}
108
- value={this.filter}
109
- changeMode="throttled"
110
- throttleDelay={200}
111
- onChange={this.filterChange}
112
- />
113
- <Button
114
- kind="combo"
115
- shape="right-rounded"
116
- leftSpacing="overlap"
117
- glyph="solid/eraser"
118
- tooltip={T('Tout montrer')}
119
- show={!!this.filter}
120
- onClick={() => this.filterChange(null)}
121
- />
122
- </div>
123
- );
124
- }
125
- }
126
-
127
- renderFooter(keys) {
128
- return (
129
- <FacetFilterListDialogFooter
130
- id={this.props.id}
131
- name={this.props.name}
132
- keys={keys}
133
- />
134
- );
135
- }
136
-
137
- renderButtons(keys) {
138
- const result = [];
139
- const type = FacetHelpers.getType(keys);
140
-
141
- if (this.props.numberOfCheckboxes < 20) {
142
- for (const key of keys) {
143
- result.push(
144
- <FacetCheckbox
145
- id={this.props.id}
146
- key={`${key}-val`}
147
- name={this.props.name}
148
- text={FacetHelpers.format(key, type, this.props.propInfos)}
149
- value={key}
150
- onChange={this.changeFacet(key)}
151
- />
152
- );
153
- }
154
- } else {
155
- let lastTab = null;
156
- for (const key of keys) {
157
- const tab = FacetHelpers.extractTab(key, type);
158
- if (lastTab !== tab.internal) {
159
- lastTab = tab.internal;
160
- result.push(
161
- <div
162
- key={`${key}-${tab.internal}`}
163
- className={this.styles.classNames.letter}
164
- >
165
- <Label
166
- fontSize="300%"
167
- textColor={this.context.theme.palette.mainTabBackground}
168
- text={tab.displayed}
169
- />
170
- </div>
171
- );
172
- }
173
- result.push(
174
- <FacetCheckbox
175
- id={this.props.id}
176
- key={`${key}-val`}
177
- name={this.props.name}
178
- text={FacetHelpers.format(key, type, this.props.propInfos)}
179
- value={key}
180
- onChange={this.changeFacet(key)}
181
- />
182
- );
183
- }
184
- }
185
- return result;
186
- }
187
-
188
- renderList() {
189
- const keys = this.getFilteredKeys(this.filter);
190
-
191
- return (
192
- <div className={this.styles.classNames.facetFilterDialog}>
193
- {this.renderHeader(keys)}
194
- <div className={this.styles.classNames.buttons}>
195
- <div className={this.styles.classNames.scrollable}>
196
- {this.renderButtons(keys)}
197
- </div>
198
- </div>
199
- {this.renderFooter(keys)}
200
- {this.renderClose()}
201
- </div>
202
- );
203
- }
204
-
205
- render() {
206
- if (this.props.loading) {
207
- return null;
208
- }
209
- const windowHeight = window.innerHeight;
210
- const r = this.props.parentButtonRect;
211
- let centerY = r.top + r.height / 2;
212
- let shiftY = 0;
213
- const width = 520;
214
- const count = this.props.numberOfCheckboxes;
215
- const height = Math.min(Math.max(count * 20 + 100, 200), windowHeight - 20);
216
-
217
- if (centerY - height / 2 < 10) {
218
- const offset = height / 2 - centerY + 10;
219
- centerY += offset;
220
- shiftY = -offset;
221
- }
222
- if (centerY + height / 2 > windowHeight - 10) {
223
- const offset = centerY + height / 2 - (windowHeight - 10);
224
- centerY -= offset;
225
- shiftY = offset;
226
- }
227
-
228
- return (
229
- <DialogModal
230
- width={px(width)}
231
- height={px(height)}
232
- left={px(r.right + 40)}
233
- center={px(centerY)}
234
- triangleShift={px(shiftY)}
235
- backgroundClose={true}
236
- close={this.onClose}
237
- >
238
- {this.renderList()}
239
- </DialogModal>
240
- );
241
- }
242
- }
243
-
244
- /******************************************************************************/
245
-
246
- export default Widget.connect((state, props) => {
247
- const flags = state.get(`backend.${props.id}.checkboxes.${props.name}`);
248
- if (flags) {
249
- return {numberOfCheckboxes: flags.size};
250
- } else {
251
- return {loading: true};
252
- }
253
- })(FacetFilterListDialog);
1
+ import React from 'react';
2
+ import Widget from 'goblin-laboratory/widgets/widget';
3
+ import DialogModal from 'goblin-gadgets/widgets/dialog-modal/widget';
4
+ import Label from 'goblin-gadgets/widgets/label/widget';
5
+ import Button from 'goblin-gadgets/widgets/button/widget';
6
+ import TextFieldNC from 'goblin-gadgets/widgets/text-field-nc/widget';
7
+ import FacetCheckbox from '../facet-checkbox/widget.js';
8
+ import FacetFilterListDialogFooter from '../facet-filter-list-dialog-footer/widget.js';
9
+ import FacetHelpers from '../helpers/facet-helpers';
10
+ import {Unit} from 'goblin-theme';
11
+ import T from 't';
12
+ const px = Unit.toPx;
13
+
14
+ class FacetFilterListDialog extends Widget {
15
+ constructor() {
16
+ super(...arguments);
17
+
18
+ this.state = {
19
+ filter: null,
20
+ };
21
+
22
+ this.changeFacet = this.changeFacet.bind(this);
23
+ this.filterChange = this.filterChange.bind(this);
24
+ this.onClose = this.onClose.bind(this);
25
+ }
26
+
27
+ //#region get/set
28
+ get filter() {
29
+ return this.state.filter;
30
+ }
31
+ set filter(value) {
32
+ this.setState({
33
+ filter: value,
34
+ });
35
+ }
36
+ //#endregion
37
+
38
+ getFilteredKeys(filter) {
39
+ const keys = this.getState()
40
+ .backend.get(this.props.id)
41
+ .get('checkboxes')
42
+ .get(this.props.name)
43
+ .keySeq();
44
+ const type = FacetHelpers.getType(keys);
45
+ filter = FacetHelpers.preprocessFilter(filter);
46
+
47
+ return keys.filter((key) => {
48
+ const text = FacetHelpers.format(key, type);
49
+ return FacetHelpers.match(text, filter);
50
+ });
51
+ }
52
+
53
+ onClose() {
54
+ this.props.onClose();
55
+ }
56
+
57
+ changeFacet(facet) {
58
+ return () => {
59
+ this.doAs('list', 'toggle-facet-filter', {
60
+ filterName: this.props.name,
61
+ facet: facet,
62
+ });
63
+ };
64
+ }
65
+
66
+ initAllFacets(keys) {
67
+ this.doAs('list', 'init-all-facets', {
68
+ filterName: this.props.name,
69
+ keys,
70
+ });
71
+ }
72
+
73
+ filterChange(text) {
74
+ this.filter = text;
75
+
76
+ const keys = this.getFilteredKeys(text);
77
+ this.initAllFacets(keys);
78
+ }
79
+
80
+ /******************************************************************************/
81
+
82
+ renderClose() {
83
+ return (
84
+ <div className={this.styles.classNames.closeButton}>
85
+ <Button
86
+ border="none"
87
+ glyph="solid/times"
88
+ glyphSize="120%"
89
+ tooltip={T('Fermer')}
90
+ height="32px"
91
+ width="32px"
92
+ onClick={this.onClose}
93
+ />
94
+ </div>
95
+ );
96
+ }
97
+
98
+ renderHeader(keys) {
99
+ if (this.props.numberOfCheckboxes <= 5) {
100
+ return <div className={this.styles.classNames.header}></div>;
101
+ } else {
102
+ return (
103
+ <div className={this.styles.classNames.header}>
104
+ <Label text={T('Filtre')} />
105
+ <TextFieldNC
106
+ width="300px"
107
+ shape={this.filter ? 'left-rounded' : 'rounded'}
108
+ value={this.filter}
109
+ changeMode="throttled"
110
+ throttleDelay={200}
111
+ onChange={this.filterChange}
112
+ />
113
+ <Button
114
+ kind="combo"
115
+ shape="right-rounded"
116
+ leftSpacing="overlap"
117
+ glyph="solid/eraser"
118
+ tooltip={T('Tout montrer')}
119
+ show={!!this.filter}
120
+ onClick={() => this.filterChange(null)}
121
+ />
122
+ </div>
123
+ );
124
+ }
125
+ }
126
+
127
+ renderFooter(keys) {
128
+ return (
129
+ <FacetFilterListDialogFooter
130
+ id={this.props.id}
131
+ name={this.props.name}
132
+ keys={keys}
133
+ />
134
+ );
135
+ }
136
+
137
+ renderButtons(keys) {
138
+ const result = [];
139
+ const type = FacetHelpers.getType(keys);
140
+
141
+ if (this.props.numberOfCheckboxes < 20) {
142
+ for (const key of keys) {
143
+ result.push(
144
+ <FacetCheckbox
145
+ id={this.props.id}
146
+ key={`${key}-val`}
147
+ name={this.props.name}
148
+ text={FacetHelpers.format(key, type, this.props.propInfos)}
149
+ value={key}
150
+ onChange={this.changeFacet(key)}
151
+ />
152
+ );
153
+ }
154
+ } else {
155
+ let lastTab = null;
156
+ for (const key of keys) {
157
+ const tab = FacetHelpers.extractTab(key, type);
158
+ if (lastTab !== tab.internal) {
159
+ lastTab = tab.internal;
160
+ result.push(
161
+ <div
162
+ key={`${key}-${tab.internal}`}
163
+ className={this.styles.classNames.letter}
164
+ >
165
+ <Label
166
+ fontSize="300%"
167
+ textColor={this.context.theme.palette.mainTabBackground}
168
+ text={tab.displayed}
169
+ />
170
+ </div>
171
+ );
172
+ }
173
+ result.push(
174
+ <FacetCheckbox
175
+ id={this.props.id}
176
+ key={`${key}-val`}
177
+ name={this.props.name}
178
+ text={FacetHelpers.format(key, type, this.props.propInfos)}
179
+ value={key}
180
+ onChange={this.changeFacet(key)}
181
+ />
182
+ );
183
+ }
184
+ }
185
+ return result;
186
+ }
187
+
188
+ renderList() {
189
+ const keys = this.getFilteredKeys(this.filter);
190
+
191
+ return (
192
+ <div className={this.styles.classNames.facetFilterDialog}>
193
+ {this.renderHeader(keys)}
194
+ <div className={this.styles.classNames.buttons}>
195
+ <div className={this.styles.classNames.scrollable}>
196
+ {this.renderButtons(keys)}
197
+ </div>
198
+ </div>
199
+ {this.renderFooter(keys)}
200
+ {this.renderClose()}
201
+ </div>
202
+ );
203
+ }
204
+
205
+ render() {
206
+ if (this.props.loading) {
207
+ return null;
208
+ }
209
+ const windowHeight = window.innerHeight;
210
+ const r = this.props.parentButtonRect;
211
+ let centerY = r.top + r.height / 2;
212
+ let shiftY = 0;
213
+ const width = 520;
214
+ const count = this.props.numberOfCheckboxes;
215
+ const height = Math.min(Math.max(count * 20 + 100, 200), windowHeight - 20);
216
+
217
+ if (centerY - height / 2 < 10) {
218
+ const offset = height / 2 - centerY + 10;
219
+ centerY += offset;
220
+ shiftY = -offset;
221
+ }
222
+ if (centerY + height / 2 > windowHeight - 10) {
223
+ const offset = centerY + height / 2 - (windowHeight - 10);
224
+ centerY -= offset;
225
+ shiftY = offset;
226
+ }
227
+
228
+ return (
229
+ <DialogModal
230
+ width={px(width)}
231
+ height={px(height)}
232
+ left={px(r.right + 40)}
233
+ center={px(centerY)}
234
+ triangleShift={px(shiftY)}
235
+ backgroundClose={true}
236
+ close={this.onClose}
237
+ >
238
+ {this.renderList()}
239
+ </DialogModal>
240
+ );
241
+ }
242
+ }
243
+
244
+ /******************************************************************************/
245
+
246
+ export default Widget.connect((state, props) => {
247
+ const flags = state.get(`backend.${props.id}.checkboxes.${props.name}`);
248
+ if (flags) {
249
+ return {numberOfCheckboxes: flags.size};
250
+ } else {
251
+ return {loading: true};
252
+ }
253
+ })(FacetFilterListDialog);
@@ -1,22 +1,22 @@
1
- /******************************************************************************/
2
-
3
- export default function styles(theme) {
4
- const footer = {
5
- height: '50px',
6
- minHeight: '50px',
7
- padding: '0px 10px 0px 30px',
8
- display: 'flex',
9
- flexDirection: 'row',
10
- alignItems: 'center',
11
- borderRadius: '0px 0px 3px 3px',
12
- backgroundColor: theme.palette.paneNavigatorBackground,
13
- };
14
-
15
- const sajex = {
16
- flexGrow: 1,
17
- };
18
-
19
- return {footer, sajex};
20
- }
21
-
22
- /******************************************************************************/
1
+ /******************************************************************************/
2
+
3
+ export default function styles(theme) {
4
+ const footer = {
5
+ height: '50px',
6
+ minHeight: '50px',
7
+ padding: '0px 10px 0px 30px',
8
+ display: 'flex',
9
+ flexDirection: 'row',
10
+ alignItems: 'center',
11
+ borderRadius: '0px 0px 3px 3px',
12
+ backgroundColor: theme.palette.paneNavigatorBackground,
13
+ };
14
+
15
+ const sajex = {
16
+ flexGrow: 1,
17
+ };
18
+
19
+ return {footer, sajex};
20
+ }
21
+
22
+ /******************************************************************************/