Property in KText is propably not needed anymore - Githubissues

kieler / klighd-vscode

Eclipse Public License 2.0

8 stars 6 forks source link

Property in KText is propably not needed anymore #157

Closed NiklasRentzCAU closed 5 months ago

NiklasRentzCAU commented 8 months ago

We should check and remove this field from KText, as it should be superseded by the direct property: https://github.com/kieler/klighd-vscode/blob/4c04e1c1cf8ea94a6edbb84e031a57c4b129136e/packages/klighd-core/src/skgraph-models.ts#L231C4-L231C34