##// END OF EJS Templates
Backport PR #5804: remove an inappropriate `!`...
Backport PR #5804: remove an inappropriate `!` The logic was backward, causing input prompt not to be set when many executions were submitted simultaneously. closes #5800

File last commit:

r13547:34cf349f
r16609:0a3649a6
Show More
mixins.less
11 lines | 197 B | text/x-less | LessCssLexer
// Mixin CSS classes
.border-box-sizing {
box-sizing: border-box;
-moz-box-sizing: border-box;
-webkit-box-sizing: border-box;
}
.corner-all {
border-radius: @baseBorderRadius;
}