ui: tweak
This commit is contained in:
parent
aa5a4e4c97
commit
20630d1629
|
@ -238,12 +238,12 @@ const Expression = ({
|
|||
Renderables.push(
|
||||
<Key
|
||||
childrenDescription={{
|
||||
'.': {label: '', type: description.type},
|
||||
'≡': {label: '', type: description.type},
|
||||
'≔': {label: '', type: 'void'},
|
||||
}}
|
||||
key={opPath}
|
||||
onChange={(event, value) => {
|
||||
if ('.' === value) {
|
||||
if ('≡' === value) {
|
||||
patch({
|
||||
op: 'remove',
|
||||
path: opPath,
|
||||
|
@ -259,7 +259,7 @@ const Expression = ({
|
|||
}
|
||||
}}
|
||||
path={opPath}
|
||||
value={expressionValue ? '≔' : '.'}
|
||||
value={expressionValue ? '≔' : '≡'}
|
||||
/>,
|
||||
);
|
||||
if (expressionValue) {
|
||||
|
|
Loading…
Reference in New Issue
Block a user