libervia-web: browser_side/base

annotate browser_side/base_widget.py @ 312:b4781a350483

browser_side: display a "New message" button and add a "comment" icon for main entries in MicroblogPanel when the unibox is disabled

author	souliane <souliane@mailoo.org>
date	Mon, 30 Dec 2013 00:33:19 +0100
parents	05e264e96a1c
children	a0ded7df30f7

rev	line source
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	1 #!/usr/bin/python
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	2 # -- coding: utf-8 --
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	3
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	4 """
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	5 Libervia: a Salut à Toi frontend
165 9763dec220ed dates update Goffi <goffi@goffi.org> parents: 163 diff changeset	6 Copyright (C) 2011, 2012, 2013 Jérôme Poisson <goffi@goffi.org>
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	7
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	8 This program is free software: you can redistribute it and/or modify
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	9 it under the terms of the GNU Affero General Public License as published by
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	10 the Free Software Foundation, either version 3 of the License, or
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	11 (at your option) any later version.
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	12
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	13 This program is distributed in the hope that it will be useful,
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	14 but WITHOUT ANY WARRANTY; without even the implied warranty of
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	16 GNU Affero General Public License for more details.
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	17
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	18 You should have received a copy of the GNU Affero General Public License
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	19 along with this program. If not, see <http://www.gnu.org/licenses/>.
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	20 """
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	21
243 63e9b680d3e7 browser_side, blog: better PEP8 compliance souliane <souliane@mailoo.org> parents: 232 diff changeset	22 import pyjd # this is dummy in pyjs
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	23 from pyjamas.ui.SimplePanel import SimplePanel
33 e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	24 from pyjamas.ui.AbsolutePanel import AbsolutePanel
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	25 from pyjamas.ui.VerticalPanel import VerticalPanel
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	26 from pyjamas.ui.HorizontalPanel import HorizontalPanel
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	27 from pyjamas.ui.ScrollPanel import ScrollPanel
195 dd27072d8ae0 browser side: widgets refactoring: Goffi <goffi@goffi.org> parents: 194 diff changeset	28 from pyjamas.ui.FlexTable import FlexTable
23 0ce2a57b34ca added tab panel Goffi <goffi@goffi.org> parents: 22 diff changeset	29 from pyjamas.ui.TabPanel import TabPanel
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	30 from pyjamas.ui.HTMLPanel import HTMLPanel
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	31 from pyjamas.ui.Label import Label
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	32 from pyjamas.ui.Button import Button
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	33 from pyjamas.ui.Image import Image
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	34 from pyjamas.ui.DropWidget import DropWidget
19 e8e3704eb97f Added basic chat panel Goffi <goffi@goffi.org> parents: 18 diff changeset	35 from pyjamas.ui.ClickListener import ClickHandler
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	36 from pyjamas.ui import HasAlignment
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	37 from pyjamas import DOM
48 153de5d461a4 added Social Contract \o. (in French only so far) Goffi <goffi@goffi.org> parents: 43 diff changeset	38 import dialog
196 c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	39 from tools import LiberviaDragWidget
195 dd27072d8ae0 browser side: widgets refactoring: Goffi <goffi@goffi.org> parents: 194 diff changeset	40 from pyjamas import Window
78 12680e220b35 browser side: refactoring: menu is now in its own module Goffi <goffi@goffi.org> parents: 75 diff changeset	41 from __pyjamas__ import doc
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	42
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	43
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	44 class DropCell(DropWidget):
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	45 """Cell in the middle grid which replace itself with the dropped widget on DnD"""
195 dd27072d8ae0 browser side: widgets refactoring: Goffi <goffi@goffi.org> parents: 194 diff changeset	46 drop_keys = {}
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	47
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	48 def __init__(self, host):
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	49 DropWidget.__init__(self)
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	50 self.host = host
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	51 self.setStyleName('dropCell')
195 dd27072d8ae0 browser side: widgets refactoring: Goffi <goffi@goffi.org> parents: 194 diff changeset	52
dd27072d8ae0 browser side: widgets refactoring: Goffi <goffi@goffi.org> parents: 194 diff changeset	53 @classmethod
dd27072d8ae0 browser side: widgets refactoring: Goffi <goffi@goffi.org> parents: 194 diff changeset	54 def addDropKey(cls, key, callback):
dd27072d8ae0 browser side: widgets refactoring: Goffi <goffi@goffi.org> parents: 194 diff changeset	55 DropCell.drop_keys[key] = callback
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	56
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	57 def onDragEnter(self, event):
196 c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	58 if self == LiberviaDragWidget.current:
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	59 return
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	60 self.addStyleName('dragover')
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	61 DOM.eventPreventDefault(event)
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	62
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	63 def onDragLeave(self, event):
33 e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	64 if event.clientX <= self.getAbsoluteLeft() or event.clientY <= self.getAbsoluteTop() or\
243 63e9b680d3e7 browser_side, blog: better PEP8 compliance souliane <souliane@mailoo.org> parents: 232 diff changeset	65 event.clientX >= self.getAbsoluteLeft() + self.getOffsetWidth() - 1 or event.clientY >= self.getAbsoluteTop() + self.getOffsetHeight() - 1:
63e9b680d3e7 browser_side, blog: better PEP8 compliance souliane <souliane@mailoo.org> parents: 232 diff changeset	66 # We check that we are inside widget's box, and we don't remove the style in this case because
63e9b680d3e7 browser_side, blog: better PEP8 compliance souliane <souliane@mailoo.org> parents: 232 diff changeset	67 # if the mouse is over a widget inside the DropWidget, if will leave the DropWidget, and we
63e9b680d3e7 browser_side, blog: better PEP8 compliance souliane <souliane@mailoo.org> parents: 232 diff changeset	68 # don't want that
33 e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	69 self.removeStyleName('dragover')
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	70
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	71 def onDragOver(self, event):
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	72 DOM.eventPreventDefault(event)
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	73
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	74 def _getCellAndRow(self, grid, event):
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	75 """Return cell and row index where the event is occuring"""
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	76 cell = grid.getEventTargetCell(event)
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	77 row = DOM.getParent(cell)
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	78 return (row.rowIndex, cell.cellIndex)
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	79
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	80 def onDrop(self, event):
198 ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	81 DOM.eventPreventDefault(event)
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	82 dt = event.dataTransfer
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	83 # 'text', 'text/plain', and 'Text' are equivalent.
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	84 try:
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	85 item, item_type = dt.getData("text/plain").split('\n') # Workaround for webkit, only text/plain seems to be managed
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	86 if item_type and item_type[-1] == '\0': # Workaround for what looks like a pyjamas bug: the \0 should not be there, and
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	87 item_type = item_type[:-1] # .strip('\0') and .replace('\0','') don't work. TODO: check this and fill a bug report
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	88 # item_type = dt.getData("type")
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	89 print "message: %s" % item
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	90 print "type: %s" % item_type
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	91 except:
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	92 print "no message found"
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	93 item = ' '
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	94 item_type = None
196 c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	95 if item_type == "WIDGET":
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	96 if not LiberviaDragWidget.current:
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	97 print "ERROR: No widget registered in LiberviaDragWidget !"
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	98 return
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	99 _new_panel = LiberviaDragWidget.current
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	100 if self == _new_panel: # We can't drop on ourself
196 c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	101 return
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	102 # we need to remove the widget from the panel as it will be inserted elsewhere
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	103 widgets_panel = _new_panel.getWidgetsPanel()
197 0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	104 wid_row = widgets_panel.getWidgetCoords(_new_panel)[0]
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	105 row_wids = widgets_panel.getLiberviaRowWidgets(wid_row)
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	106 if len(row_wids) == 1 and wid_row == widgets_panel.getWidgetCoords(self)[0]:
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	107 # the dropped widget is the only one in the same row
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	108 # as the target widget (self), we don't do anything
196 c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	109 self.removeStyleName('dragover')
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	110 return
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	111 widgets_panel.removeWidget(_new_panel)
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	112 elif item_type in self.drop_keys:
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	113 _new_panel = self.drop_keys[item_type](self.host, item)
254 28d3315a8003 browser_side: isolate the basic stuff of RecipientManager in a new class ListManager: souliane <souliane@mailoo.org> parents: 243 diff changeset	114 elif item_type == "CONTACT_TEXTBOX":
232 0ed09cc0566f browser_side: added UIs for rich text editor and addressing to multiple recipients souliane <souliane@mailoo.org> parents: 230 diff changeset	115 # eventually open a window?
0ed09cc0566f browser_side: added UIs for rich text editor and addressing to multiple recipients souliane <souliane@mailoo.org> parents: 230 diff changeset	116 pass
39 305e81c7a32c Tarot game: a game can now be finished Goffi <goffi@goffi.org> parents: 38 diff changeset	117 else:
196 c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	118 print "WARNING: unmanaged item type"
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	119 return
84 8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	120 if isinstance(self, LiberviaWidget):
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	121 self.host.unregisterWidget(self)
179 8475a29d7214 closing a group chat widget now leave the muc room (bug 11) Goffi <goffi@goffi.org> parents: 178 diff changeset	122 self.onQuit()
84 8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	123 if not isinstance(_new_panel, LiberviaWidget):
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	124 print ('WARNING: droping an object which is not a class of LiberviaWidget')
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	125 _flextable = self.getParent()
88 50b480fd0605 browser side: widgetsPanel is now scrollable when there are too many widgets, and widgets have a minimum size Goffi <goffi@goffi.org> parents: 86 diff changeset	126 _widgetspanel = _flextable.getParent().getParent()
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	127 row_idx, cell_idx = self._getCellAndRow(_flextable, event)
192 cf5c83e7d515 browser side: per tab selected widget management Goffi <goffi@goffi.org> parents: 191 diff changeset	128 if self.host.getSelected == self:
cf5c83e7d515 browser side: per tab selected widget management Goffi <goffi@goffi.org> parents: 191 diff changeset	129 self.host.setSelected(None)
88 50b480fd0605 browser side: widgetsPanel is now scrollable when there are too many widgets, and widgets have a minimum size Goffi <goffi@goffi.org> parents: 86 diff changeset	130 _widgetspanel.changeWidget(row_idx, cell_idx, _new_panel)
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	131 """_unempty_panels = filter(lambda wid:not isinstance(wid,EmptyWidget),list(_flextable))
34 ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	132 _width = 90/float(len(_unempty_panels) or 1)
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	133 #now we resize all the cell of the column
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	134 for panel in _unempty_panels:
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	135 td_elt = panel.getElement().parentNode
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	136 DOM.setStyleAttribute(td_elt, "width", "%s%%" % _width)"""
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	137 #FIXME: delete object ? Check the right way with pyjamas
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	138
243 63e9b680d3e7 browser_side, blog: better PEP8 compliance souliane <souliane@mailoo.org> parents: 232 diff changeset	139
196 c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	140 class WidgetHeader(AbsolutePanel, LiberviaDragWidget):
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	141
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	142 def __init__(self, parent, title):
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	143 AbsolutePanel.__init__(self)
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	144 self.add(title)
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	145 button_group_wrapper = SimplePanel()
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	146 button_group_wrapper.setStyleName('widgetHeader_buttonsWrapper')
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	147 button_group = HorizontalPanel()
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	148 button_group.setStyleName('widgetHeader_buttonGroup')
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	149 setting_button = Image("media/icons/misc/settings.png")
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	150 setting_button.setStyleName('widgetHeader_settingButton')
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	151 setting_button.addClickListener(parent.onSetting)
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	152 close_button = Image("media/icons/misc/close.png")
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	153 close_button.setStyleName('widgetHeader_closeButton')
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	154 close_button.addClickListener(parent.onClose)
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	155 button_group.add(setting_button)
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	156 button_group.add(close_button)
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	157 button_group_wrapper.setWidget(button_group)
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	158 self.add(button_group_wrapper)
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	159 self.addStyleName('widgetHeader')
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	160 LiberviaDragWidget.__init__(self, "", "WIDGET", parent)
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	161
210 3092f6b1710c browser side: make the OK button title for group selector configureable + few "cosmetic" changes (PEP 8...) souliane <souliane@mailoo.org> parents: 201 diff changeset	162
84 8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	163 class LiberviaWidget(DropCell, VerticalPanel, ClickHandler):
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	164 """Libervia's widget which can replace itself with a dropped widget on DnD"""
210 3092f6b1710c browser side: make the OK button title for group selector configureable + few "cosmetic" changes (PEP 8...) souliane <souliane@mailoo.org> parents: 201 diff changeset	165
84 8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	166 def __init__(self, host, title='', selectable=False):
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	167 """Init the widget
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	168 @param host: SatWebFrontend object
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	169 @param title: title show in the header of the widget
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	170 @param selectable: True is widget can be selected by user"""
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	171 VerticalPanel.__init__(self)
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	172 DropCell.__init__(self, host)
84 8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	173 ClickHandler.__init__(self)
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	174 self.__selectable = selectable
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	175 self.__title_id = HTMLPanel.createUniqueId()
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	176 self.__setting_button_id = HTMLPanel.createUniqueId()
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	177 self.__close_button_id = HTMLPanel.createUniqueId()
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	178 self.__title = Label(title)
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	179 self.__title.setStyleName('widgetHeader_title')
294 a6b3715f0bd6 browser_side: bug fixes for switching between unibox and rich text editor: souliane <souliane@mailoo.org> parents: 254 diff changeset	180 self._close_listeners = []
196 c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	181 header = WidgetHeader(self, self.__title)
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	182 self.add(header)
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	183 self.setSize('100%', '100%')
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	184 self.addStyleName('widget')
84 8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	185 if self.__selectable:
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	186 self.addClickListener(self)
309 05e264e96a1c browser_side: make unibox optional souliane <souliane@mailoo.org> parents: 294 diff changeset	187
05e264e96a1c browser_side: make unibox optional souliane <souliane@mailoo.org> parents: 294 diff changeset	188 def onClose(sender):
05e264e96a1c browser_side: make unibox optional souliane <souliane@mailoo.org> parents: 294 diff changeset	189 """Check dynamically if the unibox is enable or not"""
05e264e96a1c browser_side: make unibox optional souliane <souliane@mailoo.org> parents: 294 diff changeset	190 if self.host.uni_box:
05e264e96a1c browser_side: make unibox optional souliane <souliane@mailoo.org> parents: 294 diff changeset	191 self.host.uni_box.onWidgetClosed(sender)
05e264e96a1c browser_side: make unibox optional souliane <souliane@mailoo.org> parents: 294 diff changeset	192
05e264e96a1c browser_side: make unibox optional souliane <souliane@mailoo.org> parents: 294 diff changeset	193 self.addCloseListener(onClose)
84 8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	194 self.host.registerWidget(self)
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	195
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	196 def getDebugName(self):
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	197 return "%s (%s)" % (self, self.__title.getText())
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	198
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	199 def getWidgetsPanel(self, verbose=True):
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	200 # current = self was not reassuring for the code analyzer
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	201 current = self.getParent()
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	202 while current is not None and not isinstance(current, WidgetsPanel):
177 ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	203 current = current.getParent()
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	204 if current is None and verbose:
177 ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	205 print "Error: can't find WidgetsPanel"
ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	206 return current
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	207
84 8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	208 def onClick(self, sender):
192 cf5c83e7d515 browser side: per tab selected widget management Goffi <goffi@goffi.org> parents: 191 diff changeset	209 self.host.setSelected(self)
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	210
86 6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	211 def onClose(self, sender):
179 8475a29d7214 closing a group chat widget now leave the muc room (bug 11) Goffi <goffi@goffi.org> parents: 178 diff changeset	212 """ Called when the close button is pushed """
196 c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	213 _widgetspanel = self.getWidgetsPanel()
88 50b480fd0605 browser side: widgetsPanel is now scrollable when there are too many widgets, and widgets have a minimum size Goffi <goffi@goffi.org> parents: 86 diff changeset	214 _widgetspanel.removeWidget(self)
294 a6b3715f0bd6 browser_side: bug fixes for switching between unibox and rich text editor: souliane <souliane@mailoo.org> parents: 254 diff changeset	215 for callback in self._close_listeners:
a6b3715f0bd6 browser_side: bug fixes for switching between unibox and rich text editor: souliane <souliane@mailoo.org> parents: 254 diff changeset	216 callback(self)
179 8475a29d7214 closing a group chat widget now leave the muc room (bug 11) Goffi <goffi@goffi.org> parents: 178 diff changeset	217 self.onQuit()
8475a29d7214 closing a group chat widget now leave the muc room (bug 11) Goffi <goffi@goffi.org> parents: 178 diff changeset	218
8475a29d7214 closing a group chat widget now leave the muc room (bug 11) Goffi <goffi@goffi.org> parents: 178 diff changeset	219 def onQuit(self):
8475a29d7214 closing a group chat widget now leave the muc room (bug 11) Goffi <goffi@goffi.org> parents: 178 diff changeset	220 """ Called when the widget is actually ending """
8475a29d7214 closing a group chat widget now leave the muc room (bug 11) Goffi <goffi@goffi.org> parents: 178 diff changeset	221 pass
86 6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	222
294 a6b3715f0bd6 browser_side: bug fixes for switching between unibox and rich text editor: souliane <souliane@mailoo.org> parents: 254 diff changeset	223 def addCloseListener(self, callback):
a6b3715f0bd6 browser_side: bug fixes for switching between unibox and rich text editor: souliane <souliane@mailoo.org> parents: 254 diff changeset	224 """Add a close listener to this widget
a6b3715f0bd6 browser_side: bug fixes for switching between unibox and rich text editor: souliane <souliane@mailoo.org> parents: 254 diff changeset	225 @param callback: function to be called from self.onClose"""
a6b3715f0bd6 browser_side: bug fixes for switching between unibox and rich text editor: souliane <souliane@mailoo.org> parents: 254 diff changeset	226 self._close_listeners.append(callback)
a6b3715f0bd6 browser_side: bug fixes for switching between unibox and rich text editor: souliane <souliane@mailoo.org> parents: 254 diff changeset	227
230 266e9678eec0 browser_side: added the flag REUSE_EXISTING_LIBERVIA_WIDGETS souliane <souliane@mailoo.org> parents: 225 diff changeset	228 def refresh(self):
266e9678eec0 browser_side: added the flag REUSE_EXISTING_LIBERVIA_WIDGETS souliane <souliane@mailoo.org> parents: 225 diff changeset	229 """This can be overwritten by a child class to refresh the display when,
266e9678eec0 browser_side: added the flag REUSE_EXISTING_LIBERVIA_WIDGETS souliane <souliane@mailoo.org> parents: 225 diff changeset	230 instead of creating a new one, an existing widget is found and reused.
266e9678eec0 browser_side: added the flag REUSE_EXISTING_LIBERVIA_WIDGETS souliane <souliane@mailoo.org> parents: 225 diff changeset	231 """
266e9678eec0 browser_side: added the flag REUSE_EXISTING_LIBERVIA_WIDGETS souliane <souliane@mailoo.org> parents: 225 diff changeset	232 pass
266e9678eec0 browser_side: added the flag REUSE_EXISTING_LIBERVIA_WIDGETS souliane <souliane@mailoo.org> parents: 225 diff changeset	233
89 8d2c7be09eef browser side: CSS: removed useless z-indexes, and replaced tabs by spaces Goffi <goffi@goffi.org> parents: 88 diff changeset	234 def onSetting(self, sender):
196 c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	235 widpanel = self.getWidgetsPanel()
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	236 row, col = widpanel.getIndex(self)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	237 body = VerticalPanel()
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	238
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	239 # colspan & rowspan
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	240 colspan = widpanel.getColSpan(row, col)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	241 rowspan = widpanel.getRowSpan(row, col)
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	242
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	243 def onColSpanChange(value):
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	244 widpanel.setColSpan(row, col, value)
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	245
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	246 def onRowSpanChange(value):
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	247 widpanel.setRowSpan(row, col, value)
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	248 colspan_setter = dialog.IntSetter("Columns span", colspan)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	249 colspan_setter.addValueChangeListener(onColSpanChange)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	250 colspan_setter.setWidth('100%')
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	251 rowspan_setter = dialog.IntSetter("Rows span", rowspan)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	252 rowspan_setter.addValueChangeListener(onRowSpanChange)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	253 rowspan_setter.setWidth('100%')
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	254 body.add(colspan_setter)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	255 body.add(rowspan_setter)
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	256
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	257 # size
92 dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	258 width_str = self.getWidth()
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	259 if width_str.endswith('px'):
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	260 width = int(width_str[:-2])
92 dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	261 else:
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	262 width = 0
97 3cbbe5c05aa5 browser side: widgets' setting: height detection fix Goffi <goffi@goffi.org> parents: 96 diff changeset	263 height_str = self.getHeight()
3cbbe5c05aa5 browser side: widgets' setting: height detection fix Goffi <goffi@goffi.org> parents: 96 diff changeset	264 if height_str.endswith('px'):
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	265 height = int(height_str[:-2])
97 3cbbe5c05aa5 browser side: widgets' setting: height detection fix Goffi <goffi@goffi.org> parents: 96 diff changeset	266 else:
3cbbe5c05aa5 browser side: widgets' setting: height detection fix Goffi <goffi@goffi.org> parents: 96 diff changeset	267 height = 0
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	268
92 dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	269 def onWidthChange(value):
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	270 if not value:
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	271 self.setWidth('100%')
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	272 else:
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	273 self.setWidth('%dpx' % value)
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	274
92 dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	275 def onHeightChange(value):
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	276 if not value:
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	277 self.setHeight('100%')
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	278 else:
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	279 self.setHeight('%dpx' % value)
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	280 width_setter = dialog.IntSetter("width (0=auto)", width)
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	281 width_setter.addValueChangeListener(onWidthChange)
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	282 width_setter.setWidth('100%')
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	283 height_setter = dialog.IntSetter("height (0=auto)", height)
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	284 height_setter.addValueChangeListener(onHeightChange)
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	285 height_setter.setHeight('100%')
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	286 body.add(width_setter)
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	287 body.add(height_setter)
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	288
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	289 # reset
92 dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	290 def onReset(sender):
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	291 colspan_setter.setValue(1)
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	292 rowspan_setter.setValue(1)
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	293 width_setter.setValue(0)
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	294 height_setter.setValue(0)
210 3092f6b1710c browser side: make the OK button title for group selector configureable + few "cosmetic" changes (PEP 8...) souliane <souliane@mailoo.org> parents: 201 diff changeset	295
92 dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	296 reset_bt = Button("Reset", onReset)
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	297 body.add(reset_bt)
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	298 body.setCellHorizontalAlignment(reset_bt, HasAlignment.ALIGN_CENTER)
210 3092f6b1710c browser side: make the OK button title for group selector configureable + few "cosmetic" changes (PEP 8...) souliane <souliane@mailoo.org> parents: 201 diff changeset	299
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	300 _dialog = dialog.GenericDialog("Widget setting", body)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	301 _dialog.show()
89 8d2c7be09eef browser side: CSS: removed useless z-indexes, and replaced tabs by spaces Goffi <goffi@goffi.org> parents: 88 diff changeset	302
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	303 def setTitle(self, text):
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	304 """change the title in the header of the widget
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	305 @param text: text of the new title"""
84 8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	306 self.__title.setText(text)
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	307
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	308 def isSelectable(self):
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	309 return self.__selectable
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	310
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	311 def setSelectable(self, selectable):
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	312 if not self.__selectable:
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	313 try:
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	314 self.removeClickListener(self)
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	315 except ValueError:
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	316 pass
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	317 if self.selectable and not self in self._clickListeners:
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	318 self.addClickListener(self)
8f35e9970e7f browser side: new widget handling: Goffi <goffi@goffi.org> parents: 83 diff changeset	319 self.__selectable = selectable
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	320
201 aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	321 def getWarningData(self):
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	322 """ Return exposition warning level when this widget is selected and something is sent to it
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	323 This method should be overriden by children
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	324 @return: tuple (warning level type/HTML msg). Type can be one of:
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	325 - PUBLIC
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	326 - GROUP
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	327 - ONE2ONE
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	328 - MISC
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	329 - NONE
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	330 """
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	331 if not self.__selectable:
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	332 print "ERROR: getWarningLevel must not be called for an unselectable widget"
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	333 raise Exception
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	334 # TODO: cleaner warning types (more general constants)
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	335 return ("NONE", None)
aa76793da353 server + browser: message warning level/sending refactoring: Goffi <goffi@goffi.org> parents: 198 diff changeset	336
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	337 def setWidget(self, widget, scrollable=True):
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	338 """Set the widget that will be in the body of the LiberviaWidget
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	339 @param widget: widget to put in the body
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	340 @param scrollable: if true, the widget will be in a ScrollPanelWrapper"""
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	341 if scrollable:
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	342 _scrollpanelwrapper = ScrollPanelWrapper()
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	343 _scrollpanelwrapper.setStyleName('widgetBody')
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	344 _scrollpanelwrapper.setWidget(widget)
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	345 body_wid = _scrollpanelwrapper
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	346 else:
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	347 body_wid = widget
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	348 self.add(body_wid)
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	349 self.setCellHeight(body_wid, '100%')
68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	350
86 6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	351 def doDetachChildren(self):
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	352 # We need to force the use of a panel subclass method here,
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	353 # for the same reason as doAttachChildren
86 6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	354 VerticalPanel.doDetachChildren(self)
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	355
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	356 def doAttachChildren(self):
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	357 # We need to force the use of a panel subclass method here, else
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	358 # the event will not propagate to children
86 6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	359 VerticalPanel.doAttachChildren(self)
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	360
230 266e9678eec0 browser_side: added the flag REUSE_EXISTING_LIBERVIA_WIDGETS souliane <souliane@mailoo.org> parents: 225 diff changeset	361 def matchEntity(self, entity):
266e9678eec0 browser_side: added the flag REUSE_EXISTING_LIBERVIA_WIDGETS souliane <souliane@mailoo.org> parents: 225 diff changeset	362 """This method should be overwritten by child classes."""
266e9678eec0 browser_side: added the flag REUSE_EXISTING_LIBERVIA_WIDGETS souliane <souliane@mailoo.org> parents: 225 diff changeset	363 raise NotImplementedError
266e9678eec0 browser_side: added the flag REUSE_EXISTING_LIBERVIA_WIDGETS souliane <souliane@mailoo.org> parents: 225 diff changeset	364
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	365
34 ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	366 class ScrollPanelWrapper(SimplePanel):
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	367 """Scroll Panel like component, wich use the full available space
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	368 to work around percent size issue, it use some of the ideas found
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	369 here: http://code.google.com/p/google-web-toolkit/issues/detail?id=316
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	370 specially in code given at comment #46, thanks to Stefan Bachert"""
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	371
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	372 def __init__(self, args, *kwargs):
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	373 SimplePanel.__init__(self)
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	374 self.spanel = ScrollPanel(args, *kwargs)
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	375 SimplePanel.setWidget(self, self.spanel)
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	376 DOM.setStyleAttribute(self.getElement(), "position", "relative")
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	377 DOM.setStyleAttribute(self.getElement(), "top", "0px")
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	378 DOM.setStyleAttribute(self.getElement(), "left", "0px")
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	379 DOM.setStyleAttribute(self.getElement(), "width", "100%")
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	380 DOM.setStyleAttribute(self.getElement(), "height", "100%")
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	381 DOM.setStyleAttribute(self.spanel.getElement(), "position", "absolute")
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	382 DOM.setStyleAttribute(self.spanel.getElement(), "width", "100%")
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	383 DOM.setStyleAttribute(self.spanel.getElement(), "height", "100%")
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	384
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	385 def setWidget(self, widget):
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	386 self.spanel.setWidget(widget)
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	387
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	388 def setScrollPosition(self, position):
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	389 self.spanel.setScrollPosition(position)
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	390
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	391 def scrollToBottom(self):
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	392 self.setScrollPosition(self.spanel.getElement().scrollHeight)
ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	393
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	394
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	395 class EmptyWidget(DropCell, SimplePanel):
18 795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	396 """Empty dropable panel"""
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	397
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	398 def __init__(self, host):
795d144fc1d2 moved panels and menu in a separate file Goffi <goffi@goffi.org> parents: diff changeset	399 SimplePanel.__init__(self)
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	400 DropCell.__init__(self, host)
96 d7a4bbaddfb0 browser side: removed   in EmptyPanel Goffi <goffi@goffi.org> parents: 92 diff changeset	401 #self.setWidget(HTML(''))
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	402 self.setSize('100%', '100%')
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	403
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	404
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	405 class BorderWidget(EmptyWidget):
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	406 def __init__(self, host):
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	407 EmptyWidget.__init__(self, host)
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	408 self.addStyleName('borderPanel')
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	409
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	410
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	411 class LeftBorderWidget(BorderWidget):
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	412 def __init__(self, host):
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	413 BorderWidget.__init__(self, host)
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	414 self.addStyleName('leftBorderWidget')
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	415
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	416
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	417 class RightBorderWidget(BorderWidget):
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	418 def __init__(self, host):
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	419 BorderWidget.__init__(self, host)
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	420 self.addStyleName('rightBorderWidget')
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	421
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	422
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	423 class BottomBorderWidget(BorderWidget):
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	424 def __init__(self, host):
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	425 BorderWidget.__init__(self, host)
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	426 self.addStyleName('bottomBorderWidget')
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	427
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	428
88 50b480fd0605 browser side: widgetsPanel is now scrollable when there are too many widgets, and widgets have a minimum size Goffi <goffi@goffi.org> parents: 86 diff changeset	429 class WidgetsPanel(ScrollPanelWrapper):
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	430
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	431 def __init__(self, host, locked=False):
88 50b480fd0605 browser side: widgetsPanel is now scrollable when there are too many widgets, and widgets have a minimum size Goffi <goffi@goffi.org> parents: 86 diff changeset	432 ScrollPanelWrapper.__init__(self)
50b480fd0605 browser side: widgetsPanel is now scrollable when there are too many widgets, and widgets have a minimum size Goffi <goffi@goffi.org> parents: 86 diff changeset	433 self.setSize('100%', '100%')
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	434 self.host = host
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	435 self.locked = locked # if True: tab will not be removed when there are no more widgets inside
192 cf5c83e7d515 browser side: per tab selected widget management Goffi <goffi@goffi.org> parents: 191 diff changeset	436 self.selected = None
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	437 self.flextable = FlexTable()
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	438 self.flextable.setSize('100%', '100%')
88 50b480fd0605 browser side: widgetsPanel is now scrollable when there are too many widgets, and widgets have a minimum size Goffi <goffi@goffi.org> parents: 86 diff changeset	439 self.setWidget(self.flextable)
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	440 self.setStyleName('widgetsPanel')
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	441 _bottom = BottomBorderWidget(self.host)
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	442 self.flextable.setWidget(0, 0, _bottom) # There will be always an Empty widget on the last row,
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	443 # dropping a widget there will add a new row
101 ad0696615768 browser side: bottomBorderWidget size fix (for webkit) Goffi <goffi@goffi.org> parents: 97 diff changeset	444 td_elt = _bottom.getElement().parentNode
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	445 DOM.setStyleAttribute(td_elt, "height", "1px") # needed so the cell adapt to the size of the border (specially in webkit)
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	446 self._max_cols = 1 # give the maximum number of columns i a raw
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	447
184 97d5e9de1106 browser side: contacts panel switch: Goffi <goffi@goffi.org> parents: 181 diff changeset	448 def isLocked(self):
97d5e9de1106 browser side: contacts panel switch: Goffi <goffi@goffi.org> parents: 181 diff changeset	449 return self.locked
97d5e9de1106 browser side: contacts panel switch: Goffi <goffi@goffi.org> parents: 181 diff changeset	450
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	451 def changeWidget(self, row, col, wid):
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	452 """Change the widget in the given location, add row or columns when necessary"""
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	453 print "changing widget:", wid.getDebugName(), row, col
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	454 last_row = max(0, self.flextable.getRowCount() - 1)
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	455 try:
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	456 prev_wid = self.flextable.getWidget(row, col)
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	457 except:
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	458 print "ERROR: Trying to change an unexisting widget !"
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	459 return
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	460
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	461 cellFormatter = self.flextable.getFlexCellFormatter()
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	462
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	463 if isinstance(prev_wid, BorderWidget):
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	464 # We are on a border, we must create a row and/or columns
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	465 print "BORDER WIDGET"
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	466 prev_wid.removeStyleName('dragover')
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	467
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	468 if isinstance(prev_wid, BottomBorderWidget):
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	469 # We are on the bottom border, we create a new row
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	470 self.flextable.insertRow(last_row)
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	471 self.flextable.setWidget(last_row, 0, LeftBorderWidget(self.host))
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	472 self.flextable.setWidget(last_row, 1, wid)
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	473 self.flextable.setWidget(last_row, 2, RightBorderWidget(self.host))
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	474 cellFormatter.setHorizontalAlignment(last_row, 2, HasAlignment.ALIGN_RIGHT)
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	475 row = last_row
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	476
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	477 elif isinstance(prev_wid, LeftBorderWidget):
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	478 if col != 0:
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	479 print "ERROR: LeftBorderWidget must be on the first column !"
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	480 return
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	481 self.flextable.insertCell(row, col + 1)
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	482 self.flextable.setWidget(row, 1, wid)
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	483
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	484 elif isinstance(prev_wid, RightBorderWidget):
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	485 if col != self.flextable.getCellCount(row) - 1:
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	486 print "ERROR: RightBorderWidget must be on the last column !"
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	487 return
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	488 self.flextable.insertCell(row, col)
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	489 self.flextable.setWidget(row, col, wid)
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	490
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	491 else:
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	492 prev_wid.removeFromParent()
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	493 self.flextable.setWidget(row, col, wid)
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	494
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	495 _max_cols = max(self._max_cols, self.flextable.getCellCount(row))
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	496 if _max_cols != self._max_cols:
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	497 self._max_cols = _max_cols
86 6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	498 self._sizesAdjust()
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	499
86 6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	500 def _sizesAdjust(self):
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	501 cellFormatter = self.flextable.getFlexCellFormatter()
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	502 width = 100.0 / max(1, self._max_cols - 2) # we don't count the borders
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	503
86 6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	504 for row_idx in xrange(self.flextable.getRowCount()):
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	505 for col_idx in xrange(self.flextable.getCellCount(row_idx)):
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	506 _widget = self.flextable.getWidget(row_idx, col_idx)
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	507 if not isinstance(_widget, BorderWidget):
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	508 td_elt = _widget.getElement().parentNode
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	509 DOM.setStyleAttribute(td_elt, "width", "%.2f%%" % width)
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	510
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	511 last_row = max(0, self.flextable.getRowCount() - 1)
86 6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	512 cellFormatter.setColSpan(last_row, 0, self._max_cols)
178 7a349be99a77 dummy commit, just for test Goffi <goffi@goffi.org> parents: 177 diff changeset	513
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	514 def addWidget(self, wid):
a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	515 """Add a widget to a new cell on the next to last row"""
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	516 last_row = max(0, self.flextable.getRowCount() - 1)
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	517 print "putting widget %s at %d, %d" % (wid.getDebugName(), last_row, 0)
85 a8f027738c16 browser side: widgets cells can now be added by putting a widget on a border Goffi <goffi@goffi.org> parents: 84 diff changeset	518 self.changeWidget(last_row, 0, wid)
83 68d360caeecb New widget system: first draft Goffi <goffi@goffi.org> parents: 78 diff changeset	519
86 6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	520 def removeWidget(self, wid):
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	521 """Remove a widget and the cell where it is"""
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	522 _row, _col = self.flextable.getIndex(wid)
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	523 self.flextable.remove(wid)
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	524 self.flextable.removeCell(_row, _col)
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	525 if not self.getLiberviaRowWidgets(_row): # we have no more widgets, we remove the row
86 6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	526 self.flextable.removeRow(_row)
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	527 _max_cols = 1
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	528 for row_idx in xrange(self.flextable.getRowCount()):
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	529 _max_cols = max(_max_cols, self.flextable.getCellCount(row_idx))
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	530 if _max_cols != self._max_cols:
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	531 self._max_cols = _max_cols
6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	532 self._sizesAdjust()
177 ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	533 current = self
ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	534
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	535 blank_page = self.getLiberviaWidgetsCount() == 0 # do we still have widgets on the page ?
177 ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	536
184 97d5e9de1106 browser side: contacts panel switch: Goffi <goffi@goffi.org> parents: 181 diff changeset	537 if blank_page and not self.isLocked():
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	538 # we now notice the MainTabPanel that the WidgetsPanel is empty and need to be removed
177 ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	539 while current is not None:
ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	540 if isinstance(current, MainTabPanel):
ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	541 current.onWidgetPanelRemove(self)
ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	542 return
ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	543 current = current.getParent()
ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	544 print "Error: no MainTabPanel found !"
86 6c3b3254605f browser side: widget removing is now managed Goffi <goffi@goffi.org> parents: 85 diff changeset	545
197 0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	546 def getWidgetCoords(self, wid):
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	547 return self.flextable.getIndex(wid)
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	548
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	549 def getLiberviaRowWidgets(self, row):
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	550 """ Return all the LiberviaWidget in the row """
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	551 return [wid for wid in self.getRowWidgets(row) if isinstance(wid, LiberviaWidget)]
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	552
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	553 def getRowWidgets(self, row):
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	554 """ Return all the widgets in the row """
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	555 widgets = []
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	556 cols = self.flextable.getCellCount(row)
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	557 for col in xrange(cols):
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	558 widgets.append(self.flextable.getWidget(row, col))
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	559 return widgets
0fc32122a877 browser side: dropped widget's row is now checked, to avoid the drop on a removed BorderWidget. This finish the previous commit. Goffi <goffi@goffi.org> parents: 196 diff changeset	560
196 c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	561 def getLiberviaWidgetsCount(self):
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	562 """ Get count of contained widgets """
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	563 return len([wid for wid in self.flextable if isinstance(wid, LiberviaWidget)])
c2639c9f86ea Browser Side: Widgets can now be moved, header (title bar) is draggable: Goffi <goffi@goffi.org> parents: 195 diff changeset	564
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	565 def getIndex(self, wid):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	566 return self.flextable.getIndex(wid)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	567
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	568 def getColSpan(self, row, col):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	569 cellFormatter = self.flextable.getFlexCellFormatter()
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	570 return cellFormatter.getColSpan(row, col)
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	571
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	572 def setColSpan(self, row, col, value):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	573 cellFormatter = self.flextable.getFlexCellFormatter()
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	574 return cellFormatter.setColSpan(row, col, value)
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	575
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	576 def getRowSpan(self, row, col):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	577 cellFormatter = self.flextable.getFlexCellFormatter()
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	578 return cellFormatter.getRowSpan(row, col)
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	579
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	580 def setRowSpan(self, row, col, value):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	581 cellFormatter = self.flextable.getFlexCellFormatter()
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	582 return cellFormatter.setRowSpan(row, col, value)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 89 diff changeset	583
243 63e9b680d3e7 browser_side, blog: better PEP8 compliance souliane <souliane@mailoo.org> parents: 232 diff changeset	584
198 ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	585 class DropTab(Label, DropWidget):
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	586
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	587 def __init__(self, tab_panel, text):
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	588 Label.__init__(self, text)
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	589 DropWidget.__init__(self, tab_panel)
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	590 self.tab_panel = tab_panel
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	591 self.setStyleName('dropCell')
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	592 self.setWordWrap(False)
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	593 DOM.setStyleAttribute(self.getElement(), "min-width", "30px")
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	594
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	595 def _getIndex(self):
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	596 """ get current index of the DropTab """
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	597 # XXX: awful hack, but seems the only way to get index
198 ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	598 return self.tab_panel.tabBar.panel.getWidgetIndex(self.getParent().getParent()) - 1
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	599
198 ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	600 def onDragEnter(self, event):
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	601 #if self == LiberviaDragWidget.current:
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	602 # return
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	603 self.addStyleName('dragover')
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	604 DOM.eventPreventDefault(event)
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	605
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	606 def onDragLeave(self, event):
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	607 self.removeStyleName('dragover')
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	608
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	609 def onDragOver(self, event):
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	610 DOM.eventPreventDefault(event)
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	611
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	612 def onDrop(self, event):
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	613 DOM.eventPreventDefault(event)
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	614 self.removeStyleName('dragover')
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	615 if self._getIndex() == self.tab_panel.tabBar.getSelectedTab():
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	616 # the widget come from the DragTab, so nothing to do, we let it there
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	617 return
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	618
198 ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	619 # FIXME: quite the same stuff as in DropCell, need some factorisation
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	620 dt = event.dataTransfer
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	621 # 'text', 'text/plain', and 'Text' are equivalent.
198 ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	622 try:
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	623 item, item_type = dt.getData("text/plain").split('\n') # Workaround for webkit, only text/plain seems to be managed
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	624 if item_type and item_type[-1] == '\0': # Workaround for what looks like a pyjamas bug: the \0 should not be there, and
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	625 item_type = item_type[:-1] # .strip('\0') and .replace('\0','') don't work. TODO: check this and fill a bug report
9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	626 # item_type = dt.getData("type")
198 ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	627 print "message: %s" % item
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	628 print "type: %s" % item_type
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	629 except:
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	630 print "no message found"
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	631 item = ' '
198 ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	632 item_type = None
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	633 if item_type == "WIDGET":
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	634 if not LiberviaDragWidget.current:
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	635 print "ERROR: No widget registered in LiberviaDragWidget !"
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	636 return
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	637 _new_panel = LiberviaDragWidget.current
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	638 _new_panel.getWidgetsPanel().removeWidget(_new_panel)
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	639 elif item_type in DropCell.drop_keys:
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	640 _new_panel = DropCell.drop_keys[item_type](self.tab_panel.host, item)
254 28d3315a8003 browser_side: isolate the basic stuff of RecipientManager in a new class ListManager: souliane <souliane@mailoo.org> parents: 243 diff changeset	641 elif item_type == "CONTACT_TEXTBOX":
232 0ed09cc0566f browser_side: added UIs for rich text editor and addressing to multiple recipients souliane <souliane@mailoo.org> parents: 230 diff changeset	642 # eventually open a window?
0ed09cc0566f browser_side: added UIs for rich text editor and addressing to multiple recipients souliane <souliane@mailoo.org> parents: 230 diff changeset	643 pass
198 ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	644 else:
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	645 print "WARNING: unmanaged item type"
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	646 return
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	647
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	648 widgets_panel = self.tab_panel.getWidget(self._getIndex())
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	649 widgets_panel.addWidget(_new_panel)
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	650
243 63e9b680d3e7 browser_side, blog: better PEP8 compliance souliane <souliane@mailoo.org> parents: 232 diff changeset	651
34 ed935f763cc8 browser side: misc css/layout fixes Goffi <goffi@goffi.org> parents: 33 diff changeset	652 class MainTabPanel(TabPanel):
23 0ce2a57b34ca added tab panel Goffi <goffi@goffi.org> parents: 22 diff changeset	653
0ce2a57b34ca added tab panel Goffi <goffi@goffi.org> parents: 22 diff changeset	654 def __init__(self, host):
33 e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	655 TabPanel.__init__(self)
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	656 self.host = host
23 0ce2a57b34ca added tab panel Goffi <goffi@goffi.org> parents: 22 diff changeset	657 self.tabBar.setVisible(False)
148 8635bc9db9bf added parameter management to test XMLUI, but it's currently deactivated for security reasons (need some configuration options) + separated mainTabPanel CSS from LiberviaTabPanel Goffi <goffi@goffi.org> parents: 139 diff changeset	658 self.setStyleName('liberviaTabPanel')
8635bc9db9bf added parameter management to test XMLUI, but it's currently deactivated for security reasons (need some configuration options) + separated mainTabPanel CSS from LiberviaTabPanel Goffi <goffi@goffi.org> parents: 139 diff changeset	659 self.addStyleName('mainTabPanel')
33 e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	660 Window.addWindowResizeListener(self)
e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	661
192 cf5c83e7d515 browser side: per tab selected widget management Goffi <goffi@goffi.org> parents: 191 diff changeset	662 def getCurrentPanel(self):
cf5c83e7d515 browser side: per tab selected widget management Goffi <goffi@goffi.org> parents: 191 diff changeset	663 """ Get the panel of the currently selected tab """
cf5c83e7d515 browser side: per tab selected widget management Goffi <goffi@goffi.org> parents: 191 diff changeset	664 return self.deck.visibleWidget
cf5c83e7d515 browser side: per tab selected widget management Goffi <goffi@goffi.org> parents: 191 diff changeset	665
33 e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	666 def onWindowResized(self, width, height):
e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	667 tab_panel_elt = self.getElement()
e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	668 _elts = doc().getElementsByClassName('gwt-TabBar')
e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	669 if not _elts.length:
177 ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	670 print ("ERROR: no TabBar found, it should exist !")
33 e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	671 tab_bar_h = 0
e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	672 else:
e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	673 tab_bar_h = _elts.item(0).offsetHeight
187 d0503f8f15ef browser side: scroller added to contacts panel Goffi <goffi@goffi.org> parents: 186 diff changeset	674 ideal_height = height - DOM.getAbsoluteTop(tab_panel_elt) - tab_bar_h - 5
185 40adfd4ee4d7 browser side: fixed MainTabPanel size Goffi <goffi@goffi.org> parents: 184 diff changeset	675 ideal_width = width - DOM.getAbsoluteLeft(tab_panel_elt) - 5
243 63e9b680d3e7 browser_side, blog: better PEP8 compliance souliane <souliane@mailoo.org> parents: 232 diff changeset	676 self.setWidth("%s%s" % (ideal_width, "px"))
63e9b680d3e7 browser_side, blog: better PEP8 compliance souliane <souliane@mailoo.org> parents: 232 diff changeset	677 self.setHeight("%s%s" % (ideal_height, "px"))
23 0ce2a57b34ca added tab panel Goffi <goffi@goffi.org> parents: 22 diff changeset	678
198 ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	679 def add(self, widget, text=''):
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	680 tab = DropTab(self, text)
ab239b3b67b3 browser side: tabs are now dropable (i.e. we can now move widgets between tabs) Goffi <goffi@goffi.org> parents: 197 diff changeset	681 TabPanel.add(self, widget, tab, False)
225 9b93a21dc5e2 browser_side: display widget title in the debug info (LiberviaWidget method "getDebugName") souliane <souliane@mailoo.org> parents: 210 diff changeset	682 if self.getWidgetCount() > 1:
23 0ce2a57b34ca added tab panel Goffi <goffi@goffi.org> parents: 22 diff changeset	683 self.tabBar.setVisible(True)
33 e70521e6d803 browser side, misc stuffs Goffi <goffi@goffi.org> parents: 27 diff changeset	684 self.host.resize()
177 ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	685
ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	686 def onWidgetPanelRemove(self, panel):
ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	687 """ Called when a child WidgetsPanel is empty and need to be removed """
ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	688 self.remove(panel)
194 6198be95a39c browser side: new tab is automatically selected, if a tab is removed, the last one is automatically selected Goffi <goffi@goffi.org> parents: 193 diff changeset	689 widgets_count = self.getWidgetCount()
6198be95a39c browser side: new tab is automatically selected, if a tab is removed, the last one is automatically selected Goffi <goffi@goffi.org> parents: 193 diff changeset	690 if widgets_count == 1:
177 ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	691 self.tabBar.setVisible(False)
ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	692 self.host.resize()
ba95cd824e06 browser side: tab is removed if it doesn't contain widget anymore. Goffi <goffi@goffi.org> parents: 174 diff changeset	693 self.selectTab(0)
194 6198be95a39c browser side: new tab is automatically selected, if a tab is removed, the last one is automatically selected Goffi <goffi@goffi.org> parents: 193 diff changeset	694 else:
6198be95a39c browser side: new tab is automatically selected, if a tab is removed, the last one is automatically selected Goffi <goffi@goffi.org> parents: 193 diff changeset	695 self.selectTab(widgets_count - 1)

Mercurial > libervia-web

annotate browser_side/base_widget.py @ 312:b4781a350483