mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-11 11:15:24 +03:00
Fix and relax some lint rules
This commit is contained in:
parent
9eb4c06385
commit
9be188141a
@ -16,8 +16,7 @@
|
||||
|
||||
// Color ----------------------
|
||||
|
||||
.badge-color( @fg: @text-color-selected;
|
||||
@bg: @background-color-selected; ) {
|
||||
.badge-color( @fg: @text-color-selected; @bg: @background-color-selected; ) {
|
||||
color: @fg;
|
||||
background-color: @bg;
|
||||
}
|
||||
|
@ -15,19 +15,19 @@
|
||||
//
|
||||
.border-top-radius(@radius) {
|
||||
border-top-right-radius: @radius;
|
||||
border-top-left-radius: @radius;
|
||||
border-top-left-radius: @radius;
|
||||
}
|
||||
.border-right-radius(@radius) {
|
||||
border-bottom-right-radius: @radius;
|
||||
border-top-right-radius: @radius;
|
||||
border-top-right-radius: @radius;
|
||||
}
|
||||
.border-bottom-radius(@radius) {
|
||||
border-bottom-right-radius: @radius;
|
||||
border-bottom-left-radius: @radius;
|
||||
border-bottom-left-radius: @radius;
|
||||
}
|
||||
.border-left-radius(@radius) {
|
||||
border-bottom-left-radius: @radius;
|
||||
border-top-left-radius: @radius;
|
||||
border-top-left-radius: @radius;
|
||||
}
|
||||
|
||||
|
||||
|
@ -9,6 +9,10 @@ module.exports = {
|
||||
"selector-type-no-unknown": null,
|
||||
"function-comma-space-after": null, // TODO: enable?
|
||||
"font-family-no-missing-generic-family-keyword": null, // needed for octicons (no sensible fallback)
|
||||
"block-opening-brace-space-before": null,
|
||||
"block-closing-brace-empty-line-before": null,
|
||||
"declaration-colon-space-after": null,
|
||||
"declaration-block-single-line-max-declarations": null,
|
||||
"declaration-empty-line-before": null, // TODO: enable?
|
||||
"declaration-block-trailing-semicolon": null, // TODO: enable
|
||||
"no-descending-specificity": null,
|
||||
|
Loading…
Reference in New Issue
Block a user