Start work on new text input handling in Editor
This commit is contained in:
@@ -2,6 +2,7 @@ import Theme from "../themes/common/theme";
|
||||
import {
|
||||
backgroundColor,
|
||||
border,
|
||||
borderColor,
|
||||
iconColor,
|
||||
player,
|
||||
popoverShadow,
|
||||
@@ -138,8 +139,8 @@ export default function editor(theme: Theme) {
|
||||
invalidHintDiagnostic: diagnostic(theme, "muted"),
|
||||
invalidInformationDiagnostic: diagnostic(theme, "muted"),
|
||||
invalidWarningDiagnostic: diagnostic(theme, "muted"),
|
||||
hover_popover: hoverPopover(theme),
|
||||
link_definition: {
|
||||
hoverPopover: hoverPopover(theme),
|
||||
linkDefinition: {
|
||||
color: theme.syntax.linkUri.color,
|
||||
underline: theme.syntax.linkUri.underline,
|
||||
},
|
||||
@@ -159,6 +160,12 @@ export default function editor(theme: Theme) {
|
||||
background: backgroundColor(theme, "on500", "base"),
|
||||
}
|
||||
},
|
||||
compositionMark: {
|
||||
underline: {
|
||||
thickness: 1.0,
|
||||
color: borderColor(theme, "active")
|
||||
},
|
||||
},
|
||||
syntax,
|
||||
};
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user