Mercurial > hg > extraction-interface

comparison geotemco/js/Table/TableGui.js @ 0:b12c99b7c3f0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
commit for previous development
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Mon, 19 Jan 2015 17:13:49 +0100
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:b12c99b7c3f0
1 /*
2 * TableGui.js
3 *
4 * Copyright (c) 2012, Stefan Jänicke. All rights reserved.
5 *
6 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 3 of the License, or (at your option) any later version.
10 *
11 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
15 *
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
19 * MA 02110-1301 USA
20 */
21
22 /**
23 * @class TableGui
24 * Table GUI Implementation
25 * @author Stefan Jänicke (stjaenicke@informatik.uni-leipzig.de)
26 * @release 1.0
27 * @release date: 2012-07-27
28 * @version date: 2012-07-27
29 *
30 * @param {TableWidget} parent table widget object
31 * @param {HTML object} div parent div to append the table gui
32 * @param {JSON} options table configuration
33 */
34 function TableGui(table, div, options) {
35
36 this.tableContainer = div;
37 if (options.tableWidth) {
38 this.tableContainer.style.width = options.tableWidth;
39 }
40 if (options.tableHeight) {
41 this.tableContainer.style.height = options.tableHeight;
42 }
43 this.tableContainer.style.position = 'relative';
44
45 this.tabs = document.createElement('div');
46 this.tabs.setAttribute('class', 'tableTabs');
47 div.appendChild(this.tabs);
48
49 this.input = document.createElement('div');
50 this.input.setAttribute('class', 'tableInput');
51 div.appendChild(this.input);
52
53 };