mudhorn/prometheus
1
0
Fork 0
mirror of https://github.com/prometheus/prometheus.git synced 2025-03-05 20:59:13 -08:00
Code Issues Actions 5 Packages Projects Releases Wiki Activity

Merge pull request #15810 from prometheus/ui-merge-alerts-page-settings

Browse source 
Merge two accidental "Alerts page settings" sections into one
This commit is contained in:
Julius Volz 2025-01-13 18:23:05 +01:00 committed by GitHub
parent 0d7db907a9 60b71108e5
commit 1e7e5b63cf
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 28 additions and 28 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

56
web/ui/mantine-ui/src/components/SettingsMenu.tsx
View file

@ -107,36 +107,36 @@ const SettingsMenu: FC = () => {
<Stack>
<Fieldset p="md" legend="Alerts page settings">
<Checkbox
checked={showAnnotations}
label="Show expanded annotations"
onChange={(event) =>
dispatch(
updateSettings({
showAnnotations: event.currentTarget.checked,
})
)
}
/>
</Fieldset>
<Fieldset p="md" legend="Alerts page settings">
<NumberInput
min={1}
allowDecimal={false}
label="Alert groups per page"
value={alertGroupsPerPage}
onChange={(value) => {
if (typeof value !== "number") {
return;
<Stack>
<Checkbox
checked={showAnnotations}
label="Show expanded annotations"
onChange={(event) =>
dispatch(
updateSettings({
showAnnotations: event.currentTarget.checked,
})
)
}
/>
<NumberInput
min={1}
allowDecimal={false}
label="Alert groups per page"
value={alertGroupsPerPage}
onChange={(value) => {
if (typeof value !== "number") {
return;
}
dispatch(
updateSettings({
alertGroupsPerPage: value,
})
);
}}
/>
dispatch(
updateSettings({
alertGroupsPerPage: value,
})
);
}}
/>
</Stack>
</Fieldset>
<Fieldset p="md" legend="Rules page settings">
<NumberInput