Bug #24732 » 17222_tester.patch
typo3/sysext/workspaces/Resources/Public/JavaScript/workspacegrid.js (revision ) | ||
---|---|---|
loadMask : true,
|
||
height: 630,
|
||
stripeRows: true,
|
||
heightOffset: 40,
|
||
plugins : [
|
||
TYPO3.Workspaces.RowExpander
|
||
,TYPO3.Workspaces.Configuration.GridFilters
|
t3lib/js/extjs/ux/Ext.ux.FitToParent.js (revision ) | ||
---|---|---|
fitSizeToParent : function() {
|
||
// Uses the dimension of the current viewport, but removes the document header
|
||
var documentHeaderHeight = 0;
|
||
var documentHeaderHeight = top.TYPO3.Backend.Topbar.getHeight();
|
||
var documentHeader = Ext.get('typo3-docheader');
|
||
if (Ext.isObject(documentHeader)) {
|
||
documentHeaderHeight = documentHeader.getHeight();
|
||
// use 5px bottom margin
|
||
documentHeaderHeight -= documentHeader.getHeight() + 5;
|
||
}
|
||
if (this.heightOffset && Ext.isNumber(this.heightOffset)) {
|
||
documentHeaderHeight -= parseInt(this.heightOffset, 10);
|
||
}
|
||
this.fitToElement.setHeight(
|
||
Ext.lib.Dom.getViewportHeight() - this.fitToElement.getTop() - documentHeaderHeight
|
||
Ext.lib.Dom.getViewportHeight() - this.fitToElement.getTop() + documentHeaderHeight
|
||
);
|
||
var pos = this.getPosition(true), size = this.fitToElement.getViewSize();
|
||
this.setSize(size.width - pos[0], size.height - pos[1]);
|
||
|
||
}
|
||
});
|
typo3/sysext/workspaces/Resources/Public/JavaScript/grid.js (revision ) | ||
---|---|---|
loadMask : true,
|
||
height: 630,
|
||
stripeRows: true,
|
||
heightOffset: 40,
|
||
plugins : [
|
||
TYPO3.Workspaces.RowExpander,
|
||
TYPO3.Workspaces.Configuration.GridFilters,
|
- « Previous
- 1
- 2
- 3
- Next »