| Commit message (Collapse) | Author | Age |
|
|
|
|
| |
Temporarily remove custom scrollbar and indentation styling, because they
interferred with cursor visibility.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Make sure we obey the REUSE (https://reuse.software) specification and the
origin, copyright owner, and license of all files are clearly marked.
The whole project is under the EPL-2.0, except for trivial files where copyright
is not applicable that are marked with the CC0-1.0 license. Moreover, code
included from third parties is also available under the respective license.
chore: add CONTRIBUTORS.md
List all authors and supporting organizations in accordance with the REUSE
specification.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Gutters are aria-hidden, so no accessibility attributes should point at
them.
|
|
|
|
| |
Also improves editor styling (to enable panel styling).
|
|
Also bumps frontend dependencies.
|