Allow tabs to be enabled/disabled in the editor

This commit is contained in:
Nick O'Leary
2017-03-06 10:03:15 +00:00
parent 2db65b9d1f
commit 17e092afb3
4 changed files with 80 additions and 6 deletions

View File

@@ -58,3 +58,25 @@
color:#666;
}
}
.workspace-disabled-icon {
display: none;
}
.workspace-disabled {
&.red-ui-tab {
border-top-style: dashed;
border-left-style: dashed;
border-right-style: dashed;
a {
font-style: italic;
color: #aaa !important;
}
&.active a {
font-weight: normal;
color: #999 !important;
}
.workspace-disabled-icon {
display: inline;
}
}
}