chore: change workspace proxy badge names (#8429)

* chore: "Not Reachable" --> "Not Dialable"
* chore: "Not registered" --> "Never seen"
This commit is contained in:
Steven Masley
2023-07-11 13:05:42 -04:00
committed by GitHub
parent f67ccc9bc0
commit 0a911d58f9
@@ -3,6 +3,7 @@ import { Stack } from "components/Stack/Stack"
import { PropsWithChildren, FC } from "react"
import { MONOSPACE_FONT_FAMILY } from "theme/constants"
import { combineClasses } from "utils/combineClasses"
import Tooltip from "@mui/material/Tooltip"
export const EnabledBadge: FC = () => {
const styles = useStyles()
@@ -43,18 +44,22 @@ export const NotHealthyBadge: FC = () => {
export const NotRegisteredBadge: FC = () => {
const styles = useStyles()
return (
<span className={combineClasses([styles.badge, styles.warnBadge])}>
Not Registered
</span>
<Tooltip title="Workspace Proxy has never come online and needs to be started.">
<span className={combineClasses([styles.badge, styles.warnBadge])}>
Never Seen
</span>
</Tooltip>
)
}
export const NotReachableBadge: FC = () => {
const styles = useStyles()
return (
<span className={combineClasses([styles.badge, styles.errorBadge])}>
Not Reachable
</span>
<Tooltip title="Workspace Proxy not responding to http(s) requests.">
<span className={combineClasses([styles.badge, styles.warnBadge])}>
Not Dialable
</span>
</Tooltip>
)
}