diff options
author | 2024-07-09 21:17:59 +0200 | |
---|---|---|
committer | 2024-07-10 00:11:07 +0200 | |
commit | bf3b06f8cc775216e69e7f3e14d595a1db244f05 (patch) | |
tree | bfb6511e249cbe07d5cb183b42dac11cda9f94f7 /subprojects/frontend/src/graph/GraphTheme.tsx | |
parent | build: do not build shadow jars (diff) | |
download | refinery-bf3b06f8cc775216e69e7f3e14d595a1db244f05.tar.gz refinery-bf3b06f8cc775216e69e7f3e14d595a1db244f05.tar.zst refinery-bf3b06f8cc775216e69e7f3e14d595a1db244f05.zip |
feat: generator facade timeout and non-existent objects
Quality of life improvements for the semantics and generator facade APIs.
Diffstat (limited to 'subprojects/frontend/src/graph/GraphTheme.tsx')
-rw-r--r-- | subprojects/frontend/src/graph/GraphTheme.tsx | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/subprojects/frontend/src/graph/GraphTheme.tsx b/subprojects/frontend/src/graph/GraphTheme.tsx index bdc01b78..1127a46d 100644 --- a/subprojects/frontend/src/graph/GraphTheme.tsx +++ b/subprojects/frontend/src/graph/GraphTheme.tsx | |||
@@ -143,6 +143,21 @@ export function createGraphTheme({ | |||
143 | 'text.label-ERROR': { | 143 | 'text.label-ERROR': { |
144 | fill: theme.palette.error.main, | 144 | fill: theme.palette.error.main, |
145 | }, | 145 | }, |
146 | '.node-exists-FALSE': { | ||
147 | 'text:not(.label-ERROR)': { | ||
148 | fill: theme.palette.text.secondary, | ||
149 | }, | ||
150 | '.node-outline': { | ||
151 | stroke: theme.palette.text.secondary, | ||
152 | strokeDasharray: '2 4', | ||
153 | }, | ||
154 | '.node-header': { | ||
155 | fill: theme.palette.background.default, | ||
156 | }, | ||
157 | '.icon-TRUE': { | ||
158 | fill: theme.palette.text.secondary, | ||
159 | }, | ||
160 | }, | ||
146 | }; | 161 | }; |
147 | } | 162 | } |
148 | 163 | ||