Skip to content

Commit

Permalink
fix: update theme due to auto upgrade
Browse files Browse the repository at this point in the history
  • Loading branch information
gcusnieux authored and phiz71 committed Nov 10, 2021
1 parent cca9a79 commit 4a826de
Show file tree
Hide file tree
Showing 7 changed files with 348 additions and 810 deletions.
6 changes: 6 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -172,6 +172,12 @@ cd ../my-project
npm link @gravitee/ui-components
```

## Renovate

Some components are based on third party libraries, for integration into a web component, we extract the css from its libraries as assets.

WARNING: When `codemirror`, `highlight.js` or `github-markdown-css` are updated, we must run `npm run build` task to update the css.

## Contributing

You think Gravitee.io is awesome and want to contribute to the project?
Expand Down
11 changes: 9 additions & 2 deletions assets/css/codemirror/all.css
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@
}

.CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
background-color: transparent; /* The little square between H and V scrollbars */
background-color: white; /* The little square between H and V scrollbars */
}

/* GUTTER */
Expand Down Expand Up @@ -68,7 +68,6 @@
}
.cm-animate-fat-cursor {
width: auto;
border: 0;
-webkit-animation: blink 1.06s steps(1) infinite;
-moz-animation: blink 1.06s steps(1) infinite;
animation: blink 1.06s steps(1) infinite;
Expand Down Expand Up @@ -421,6 +420,14 @@ span.CodeMirror-selectedtext { background: none; }
width: 100%; height: 100%;
}

.CodeMirror-lint-line-error {
background-color: rgba(183, 76, 81, 0.08);
}

.CodeMirror-lint-line-warning {
background-color: rgba(255, 211, 0, 0.1);
}

/*
MDN-LIKE Theme - Mozilla
Ported to CodeMirror by Peter Kroon <[email protected]>
Expand Down
119 changes: 2 additions & 117 deletions assets/css/highlight.js/github.css

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

14 changes: 14 additions & 0 deletions dangerfile.ts
Original file line number Diff line number Diff line change
Expand Up @@ -11,3 +11,17 @@ I just want to tell you that \`definition.json\` has been updated in this PR. As
Also, after merging this PR, you should update the \`definition.json\` of [APIM Rest API](https://github.com/gravitee-io/gravitee-management-rest-api).
`);
}

const packageJson = danger.git.fileMatch('package.json');

if (packageJson.edited) {
markdown(`
Hey dear reviewer, I'm the Gravitee.io bot :robot:
I just want to tell you that \`package.json\` has been updated in this PR.
Some components are based on third party libraries, for integration into a web component, we extract the css from its libraries as assets.
WARNING: When \`codemirror\`, \`highlight.js\` or \`github-markdown-css\` are updated, we must run \`npm run build\` task to update the css.
`);
}
Loading

0 comments on commit 4a826de

Please sign in to comment.