CSS for Smart Connector UIExtension#188

Open

yentelmanero wants to merge 9 commits intoeclipse-glsp:masterfrom

yentelmanero:master

Commits on Nov 30, 2023

Commits on Dec 27, 2023

Commits on Jan 30, 2024

Merge pull request #1 from eclipse-glsp/master
yentelmanero
authored

Commits on Feb 12, 2024

Commits on Apr 2, 2024

renamed smart connector to selection palette, added selection palette explicitly to configuration
yentelmanero
committed
fixed lint problems
yentelmanero
committed