eclipse-glsp / glsp-theia-integration Goto Github PK
View Code? Open in Web Editor NEWIntegration of the web-based GLSP client with Eclipse Theia
Home Page: https://www.eclipse.dev/glsp
License: Other
Integration of the web-based GLSP client with Eclipse Theia
Home Page: https://www.eclipse.dev/glsp
License: Other
(Moved from eclipse-glsp/glsp-client#17)
A sequence of multiple right clicks sometimes leads to duplicate entries in the context menu. I assume this is because we do not check whether we've already registered the context menu items in the Theia context menu service and do this multiple times, if the right-clicks happen fast after each other.
Some of the css classes used in the command palette css are no longer valid after eclipse-theia/theia#6475.
Should build every PR and report back to Github.
Deploy step should only be initiated on master (can be mocked for now, actual deploy will be handled in a follow up issue)
Auto importing causes problems in projects that depend on @eclipse-glsp/theia-integration but do not want/need the default css.
e.g. in ecore-glsp the css styling is done entirely with classes that are provided by the server (like ecore-node, enum etc.) and the sprotty default classes are not implemented at all.
The default import in @eclipse-glsp/theia-integration breaks this behavior because we provide implementations for the default classes. This classes have higher priority and there break the entire styling.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.