remove unused tooltip field

kieler / klighd-vscode

Eclipse Public License 2.0

8 stars 6 forks source link

Closed Eddykasp closed 2 years ago

Eddykasp commented 2 years ago

Resolves #73

The tooltip is already stored in the properties, this PR removes the unused tooltip fields.