@redocly/theme 0.25.1-beta.3 → 0.25.1-beta.4
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.
|
@@ -56,7 +56,7 @@ function Filter({ filter, filterValuesCasing, }) {
|
|
|
56
56
|
return;
|
|
57
57
|
filter.selectOption(Object.assign(Object.assign({}, filter.selectedOptions), { to: formatDateWithNoTimeZone(to) }));
|
|
58
58
|
} })))) : (filter.filteredOptions.map((value) => {
|
|
59
|
-
const id = 'filter--' + filter.property + '--' +
|
|
59
|
+
const id = 'filter--' + filter.property + '--' + value.value;
|
|
60
60
|
return (react_1.default.createElement(FilterOption, { key: id, role: "link", onClick: () => filter.toggleOption(value.value) },
|
|
61
61
|
react_1.default.createElement(icons_1.CheckboxIcon, { checked: filter.selectedOptions.has(value.value) }),
|
|
62
62
|
react_1.default.createElement(FilterOptionLabel, null, changeCasing(translate(value.value), filterValuesCasing)),
|
|
@@ -137,10 +137,6 @@ const StyledSelect = (0, styled_components_1.default)(Select_1.Select) `
|
|
|
137
137
|
margin: var(--filter-select-option-margin);
|
|
138
138
|
}
|
|
139
139
|
`;
|
|
140
|
-
// TODO: import from portal
|
|
141
|
-
function slug(str) {
|
|
142
|
-
return str.replace(/\s/g, '-').toLowerCase();
|
|
143
|
-
}
|
|
144
140
|
const DatePickerWrapper = styled_components_1.default.div `
|
|
145
141
|
color: var(--filter-date-picker-color);
|
|
146
142
|
display: flex;
|
package/package.json
CHANGED
|
@@ -111,7 +111,7 @@ export function Filter({
|
|
|
111
111
|
</>
|
|
112
112
|
) : (
|
|
113
113
|
filter.filteredOptions.map((value: any) => {
|
|
114
|
-
const id = 'filter--' + filter.property + '--' +
|
|
114
|
+
const id = 'filter--' + filter.property + '--' + value.value;
|
|
115
115
|
return (
|
|
116
116
|
<FilterOption key={id} role="link" onClick={() => filter.toggleOption(value.value)}>
|
|
117
117
|
<CheckboxIcon checked={filter.selectedOptions.has(value.value)} />
|
|
@@ -212,11 +212,6 @@ const StyledSelect = styled(Select)`
|
|
|
212
212
|
}
|
|
213
213
|
`;
|
|
214
214
|
|
|
215
|
-
// TODO: import from portal
|
|
216
|
-
function slug(str: string): string {
|
|
217
|
-
return str.replace(/\s/g, '-').toLowerCase();
|
|
218
|
-
}
|
|
219
|
-
|
|
220
215
|
const DatePickerWrapper = styled.div`
|
|
221
216
|
color: var(--filter-date-picker-color);
|
|
222
217
|
display: flex;
|