Added very basic coverage panel

pull/134/merge
Ruben Daniels 2015-08-20 16:33:06 -07:00
rodzic f69d2a3d75
commit 4d248be0c7
2 zmienionych plików z 3 dodań i 2 usunięć

Wyświetl plik

@ -397,6 +397,7 @@ module.exports = function(options) {
},
"plugins/c9.ide.test/results",
"plugins/c9.ide.test/coverage",
"plugins/c9.ide.test/coverageview",
"plugins/c9.ide.test.mocha/mocha",

Wyświetl plik

@ -19,7 +19,7 @@ define(function(require, exports, module) {
options.baseName = "datagrid";
if (!options.theme)
options.theme = "blackdg ace-tree-" + (options.baseName || "datagrid");
options.theme = "blackdg ace-tree-" + options.baseName;
var model = new TreeModel();
model.columns = options.columns;
@ -33,7 +33,7 @@ define(function(require, exports, module) {
if (!options.rowHeight) {
layout.on("eachTheme", function(e){
var cls = "." + plugin.theme + " .row";
var cls = "." + options.theme.replace(/ /g, " .") + " .row";
var height = parseInt(ui.getStyleRule(cls, "height"), 10) || 23;
// model.rowHeightInner = height - 1;
model.rowHeight = height;