Basic features of the result panel are working

pull/134/merge
Ruben Daniels 2015-08-17 14:59:35 -07:00
rodzic d3bd74e33d
commit 8240d2bc65
3 zmienionych plików z 5 dodań i 5 usunięć

Wyświetl plik

@ -536,11 +536,11 @@ var VirtualRenderer = function(container, cellWidth, cellHeight) {
var height = this.provider.getTotalHeight() + headingHeight;
var maxHeight = this.getMaxHeight
? this.getMaxHeight()
: this.$maxLines * this.provider.rowHeight + headingHeight;
: this.$maxLines * this.provider.rowHeight + headingHeight
var desiredHeight = Math.max(
(this.$minLines || 1) * this.provider.rowHeight + headingHeight,
Math.min(maxHeight, height)
);
) + this.scrollMargin.v;
var vScroll = height > maxHeight;
if (desiredHeight != this.desiredHeight ||

Wyświetl plik

@ -379,12 +379,12 @@ define(function(require, exports, module) {
return cmd.replace(re, "\\$1");//.replace(/^~/, "\\~");
};
var cloneObject = plugin.cloneObject = function(obj) {
var cloneObject = plugin.cloneObject = function(obj, shallow) {
if (obj === null || typeof obj !== "object")
return obj;
var copy = Array.isArray(obj) ? [] : {};
Object.keys(obj).forEach(function(k) {
copy[k] = cloneObject(obj[k]);
copy[k] = shallow ? obj[k] : cloneObject(obj[k]);
});
return copy;
};

Wyświetl plik

@ -9,7 +9,7 @@
background : transparent;
color : @color;
border-radius: 3px;
margin: 1px 0px 0px 0px;
margin: 0px 0px 0px 0px;
padding-left: 6px;
height: @tree-row-height;
}