Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CSS for Smart Connector UIExtension #188

Open
wants to merge 9 commits into
base: master
Choose a base branch
from

Conversation

yentelmanero
Copy link

@yentelmanero yentelmanero commented Nov 30, 2023

This PR is part of my bachelor research conducted in TU Wien in the Business Informatics Group.


In this PR, CSS is provided for the Smart Connector UIExtension (more info in Client PR)

Client PR
Server PR

@haydar-metin
Copy link

haydar-metin commented Dec 19, 2023

Thanks for the PR!

Somehow, the ECA is still not signed by your private email. I would recommend to commit only with a single email and to squash all your commits to have that single email.

Can you also add some description to your PR and reference the other PRs you have created, something like:

This PR is part of my bachelor research conducted in TU Wien in the [Business Informatics Group](https://www.big.tuwien.ac.at/).

---

<Little Description>

<Other PR references>

color: var(--theia-titleBar-activeForeground);
max-width: 200px;

/* display: flex; */

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please remove it if it is not required.

}

/* scrollbar */
.smart-connector-group::-webkit-scrollbar {

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants