Fixed #502: CSS rule `* { font-family: ... }` resulting in Ace editor (`code` mode) not having a mono-space font anymore
This commit is contained in:
parent
4eb55bffde
commit
7c3695df4a
|
@ -3,6 +3,12 @@
|
||||||
https://github.com/josdejong/jsoneditor
|
https://github.com/josdejong/jsoneditor
|
||||||
|
|
||||||
|
|
||||||
|
## not yet published, version 8.0.1
|
||||||
|
|
||||||
|
- Fixed #502: CSS rule `* { font-family: ... }` resulting in Ace editor (`code`
|
||||||
|
mode) not having a mono-space font anymore.
|
||||||
|
|
||||||
|
|
||||||
## 2019-12-11, version 8.0.0
|
## 2019-12-11, version 8.0.0
|
||||||
|
|
||||||
- Implemented option `timestampFormat` which allows customizing the formatting
|
- Implemented option `timestampFormat` which allows customizing the formatting
|
||||||
|
|
|
@ -325,6 +325,10 @@ div.jsoneditor-tree div.jsoneditor-show-more a:focus {
|
||||||
textarea.jsoneditor-text,
|
textarea.jsoneditor-text,
|
||||||
.ace-jsoneditor {
|
.ace-jsoneditor {
|
||||||
min-height: 150px;
|
min-height: 150px;
|
||||||
|
|
||||||
|
* {
|
||||||
|
font-family: $jse-font-mono;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
textarea {
|
textarea {
|
||||||
&.jsoneditor-text {
|
&.jsoneditor-text {
|
||||||
|
|
Loading…
Reference in New Issue