Fix text widget rendering (#9981)

Fixes https://github.com/enso-org/enso/issues/9688

<img width="685" alt="Screenshot 2024-05-17 at 1 24 19 PM" src="https://github.com/enso-org/enso/assets/6566674/9f30b607-7776-4acb-98b3-75c697a1b58e">
This commit is contained in:
Ilya Bogdanov 2024-05-17 19:54:45 +03:00 committed by GitHub
parent 4d49b00375
commit 1034596e5b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -77,7 +77,7 @@ watch(textContents, (value) => (editedContents.value = value))
<script lang="ts"> <script lang="ts">
export const widgetDefinition = defineWidget( export const widgetDefinition = defineWidget(
WidgetInput.isAstOrPlaceholder, WidgetInput.placeholderOrAstMatcher(Ast.TextLiteral),
{ {
priority: 1001, priority: 1001,
score: (props) => { score: (props) => {