Mauricio Bonani
|
afdb15dc58
|
Use the correct variable for the gutter text color
|
2022-05-18 10:28:36 -04:00 |
|
Nick O'Leary
|
d45415ab22
|
Merge branch 'master' into dev
|
2020-06-01 09:36:20 +01:00 |
|
Ristomatti Airo
|
f9a157fe18
|
Fix editor underscore visibility on Linux systems
- seems to relate to DejaVu Sans font rendering
- fixes #2104
|
2020-05-23 18:41:44 +03:00 |
|
Mauricio Bonani
|
8a82552bdc
|
Consolidate duplicates
|
2020-02-29 15:14:57 -05:00 |
|
Kazuhito Yokoi
|
944070dfb1
|
Move CSS definition to ace.scss
|
2020-01-09 13:06:39 +09:00 |
|
Nick O'Leary
|
031362a633
|
Move all colours to sass variables
|
2019-05-15 13:54:29 +01:00 |
|
Nick O'Leary
|
50228c5970
|
Namespace more editor component CSS
|
2019-05-08 13:26:48 +01:00 |
|
Nick O'Leary
|
9751089807
|
Tidy up ace tooltip styling
|
2018-10-19 10:42:39 +01:00 |
|
Nick O'Leary
|
b2516117f5
|
Add event log to editor
Shows output from git pull/push and npm install in the editor
|
2018-10-18 23:49:47 +01:00 |
|
Nick O'Leary
|
e57d8ba0ef
|
pull out editor-client and editor-api
|
2018-08-17 22:10:54 +01:00 |
|