Add filter to coverage viewer. Clear coverage properly from cache

pull/223/head
Ruben Daniels 2015-10-01 13:43:29 -07:00
rodzic d85bf0be1b
commit 34aa7931f6
2 zmienionych plików z 2 dodań i 2 usunięć

Wyświetl plik

@ -108,7 +108,7 @@
"c9.ide.save": "#e00549cb0f",
"c9.ide.scm": "#2398826541",
"c9.ide.terminal.monitor": "#b76f1c9f24",
"c9.ide.test": "#d48181f8f6",
"c9.ide.test": "#d55b1ee350",
"c9.ide.test.mocha": "#88fee23065",
"c9.ide.theme.flat": "#2de8414db7",
"c9.ide.threewaymerge": "#229382aa0b",

Wyświetl plik

@ -1226,7 +1226,7 @@
@dropdown-black-image-height: 5px;
@dropdown-black-background-position: 50% 50%;
@dropdown-black-height: 28px;
@dropdown-black-padding: 8px 0 5px 9px;
@dropdown-black-padding: 7px 8px 5px 9px;
@dropdown-black-font-family: @general-font-family;
@dropdown-black-font-size: 13px;
@dropdown-black-button-width: 24px;