mirror of
https://github.com/GraphiteEditor/Graphite.git
synced 2026-09-27 09:58:12 +08:00
Add graph type error diagnostics to the UI (#1535)
* Fontend input types * Fix index of errors / types * Bug fixes, styling improvements, and code review * Improvements to the error box --------- Co-authored-by: Keavon Chambers <keavon@keavon.com>
This commit is contained in:
co-authored by
Keavon Chambers
parent
96b5d7b520
commit
947a131a4b
@@ -112,6 +112,7 @@ body > h2 {
|
||||
|
||||
svg text {
|
||||
pointer-events: none;
|
||||
-webkit-user-select: none;
|
||||
user-select: none;
|
||||
}
|
||||
|
||||
|
||||
@@ -280,6 +280,7 @@ pre {
|
||||
font-size: 0.75em;
|
||||
font-weight: bold;
|
||||
font-style: italic;
|
||||
-webkit-user-select: none;
|
||||
user-select: none;
|
||||
pointer-events: none;
|
||||
position: fixed;
|
||||
@@ -326,6 +327,7 @@ pre {
|
||||
&:first-child {
|
||||
padding-left: 20px;
|
||||
padding-right: 10px;
|
||||
-webkit-user-select: none;
|
||||
user-select: none;
|
||||
vertical-align: top;
|
||||
text-align: right;
|
||||
|
||||
Reference in New Issue
Block a user