@lvce-editor/problems-view 1.17.0 → 1.18.0
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.
- package/dist/problemsViewWorkerMain.js +21 -17
- package/package.json +1 -1
|
@@ -83,7 +83,7 @@ const terminate = () => {
|
|
|
83
83
|
globalThis.close();
|
|
84
84
|
};
|
|
85
85
|
|
|
86
|
-
const None$
|
|
86
|
+
const None$1 = 'none';
|
|
87
87
|
const ToolBar = 'toolbar';
|
|
88
88
|
const Tree = 'tree';
|
|
89
89
|
const TreeItem = 'treeitem';
|
|
@@ -110,7 +110,8 @@ const Script$1 = 2;
|
|
|
110
110
|
|
|
111
111
|
const ProblemsFilter$1 = 25;
|
|
112
112
|
|
|
113
|
-
const
|
|
113
|
+
const Checked = 2;
|
|
114
|
+
const Unchecked = 3;
|
|
114
115
|
|
|
115
116
|
const DebugWorker = 55;
|
|
116
117
|
const EditorWorker$1 = 99;
|
|
@@ -1841,6 +1842,9 @@ const create = (id, uri, x, y, width, height, workspaceUri) => {
|
|
|
1841
1842
|
message: '',
|
|
1842
1843
|
minLineY: 0,
|
|
1843
1844
|
problems: [],
|
|
1845
|
+
showErrors: true,
|
|
1846
|
+
showInfos: true,
|
|
1847
|
+
showWarnings: true,
|
|
1844
1848
|
smallWidthBreakPoint: 650,
|
|
1845
1849
|
uid: id,
|
|
1846
1850
|
viewMode: None,
|
|
@@ -2046,19 +2050,19 @@ const showInfos = () => {
|
|
|
2046
2050
|
return i18nString(ShowInfos);
|
|
2047
2051
|
};
|
|
2048
2052
|
|
|
2049
|
-
const getMenuEntriesFilter =
|
|
2053
|
+
const getMenuEntriesFilter = state => [{
|
|
2050
2054
|
command: '-1',
|
|
2051
|
-
flags:
|
|
2055
|
+
flags: state.showErrors ? Checked : Unchecked,
|
|
2052
2056
|
id: 'show-errors',
|
|
2053
2057
|
label: showErrors()
|
|
2054
2058
|
}, {
|
|
2055
2059
|
command: '-1',
|
|
2056
|
-
flags:
|
|
2060
|
+
flags: state.showWarnings ? Checked : Unchecked,
|
|
2057
2061
|
id: 'show-warnings',
|
|
2058
2062
|
label: showWarnings()
|
|
2059
2063
|
}, {
|
|
2060
2064
|
command: '-1',
|
|
2061
|
-
flags:
|
|
2065
|
+
flags: state.showInfos ? Checked : Unchecked,
|
|
2062
2066
|
id: 'show-infos',
|
|
2063
2067
|
label: showInfos()
|
|
2064
2068
|
}];
|
|
@@ -2069,7 +2073,7 @@ const getMenuEntries2 = (state, props) => {
|
|
|
2069
2073
|
} = props;
|
|
2070
2074
|
switch (menuId) {
|
|
2071
2075
|
case ProblemsFilter$1:
|
|
2072
|
-
return getMenuEntriesFilter();
|
|
2076
|
+
return getMenuEntriesFilter(state);
|
|
2073
2077
|
default:
|
|
2074
2078
|
return [];
|
|
2075
2079
|
}
|
|
@@ -2424,18 +2428,18 @@ const ProblemsTableRowOdd = 'ProblemsTableRowOdd';
|
|
|
2424
2428
|
const ProblemsWarningIcon = 'ProblemsWarningIcon';
|
|
2425
2429
|
const Viewlet = 'Viewlet';
|
|
2426
2430
|
|
|
2427
|
-
const HandleBlur =
|
|
2428
|
-
const HandleClearFilterClick =
|
|
2429
|
-
const HandleContextMenu =
|
|
2430
|
-
const HandleFilterInput =
|
|
2431
|
-
const HandlePointerDown =
|
|
2432
|
-
const HandleClickMoreFilters =
|
|
2431
|
+
const HandleBlur = 1;
|
|
2432
|
+
const HandleClearFilterClick = 2;
|
|
2433
|
+
const HandleContextMenu = 3;
|
|
2434
|
+
const HandleFilterInput = 4;
|
|
2435
|
+
const HandlePointerDown = 5;
|
|
2436
|
+
const HandleClickMoreFilters = 6;
|
|
2433
2437
|
|
|
2434
2438
|
const getIconVirtualDom = (icon, type = Div) => {
|
|
2435
2439
|
return {
|
|
2436
2440
|
childCount: 0,
|
|
2437
2441
|
className: mergeClassNames('MaskIcon', `MaskIcon${icon}`),
|
|
2438
|
-
role: None$
|
|
2442
|
+
role: None$1,
|
|
2439
2443
|
type
|
|
2440
2444
|
};
|
|
2441
2445
|
};
|
|
@@ -2461,8 +2465,8 @@ const getInputBoxVirtualDom = (name, onInput, placeholder) => {
|
|
|
2461
2465
|
autocorrect: 'off',
|
|
2462
2466
|
className: InputBox,
|
|
2463
2467
|
name,
|
|
2464
|
-
onInput
|
|
2465
|
-
placeholder
|
|
2468
|
+
onInput,
|
|
2469
|
+
placeholder,
|
|
2466
2470
|
spellcheck: false,
|
|
2467
2471
|
type: Input
|
|
2468
2472
|
};
|
|
@@ -2546,7 +2550,7 @@ const getFileIconVirtualDom = icon => {
|
|
|
2546
2550
|
return {
|
|
2547
2551
|
childCount: 0,
|
|
2548
2552
|
className: FileIcon,
|
|
2549
|
-
role: None$
|
|
2553
|
+
role: None$1,
|
|
2550
2554
|
src: icon,
|
|
2551
2555
|
type: Img
|
|
2552
2556
|
};
|