Mercurial > libervia-web
annotate browser_side/base_widget.py @ 201:aa76793da353
server + browser: message warning level/sending refactoring:
- widgets now manage themselves warning level
- widgets now manage themselves text entered (if they are selectable, onTextEntered must be present)
- Unibox now default to selected widget/status bar, except if a hook syntax is used (e.g. "@@: public microblog")
- warning message is now GROUP (in blue with default theme) when sending a message to a MUC room (instead of green before)
- "@.*: " syntaxes are now fully managed by browser, no more by server
| author | Goffi <goffi@goffi.org> |
|---|---|
| date | Sun, 07 Apr 2013 22:33:55 +0200 |
| parents | ab239b3b67b3 |
| children | 3092f6b1710c |
| 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 | 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 |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
22 import pyjd # this is dummy in pyjs |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
23 from pyjamas.ui.SimplePanel import SimplePanel |
| 33 | 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 | 28 from pyjamas.ui.FlexTable import FlexTable |
| 23 | 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 | 32 from pyjamas.ui.Button import Button |
| 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 | 35 from pyjamas.ui.ClickListener import ClickHandler |
| 83 | 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 | 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 |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
43 class DropCell(DropWidget): |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
44 """Cell in the middle grid which replace itself with the dropped widget on DnD""" |
| 195 | 45 drop_keys = {} |
|
18
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
46 |
|
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
|
47 def __init__(self, host): |
|
18
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
48 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
|
49 self.host = host |
| 83 | 50 self.setStyleName('dropCell') |
| 195 | 51 |
| 52 @classmethod | |
| 53 def addDropKey(cls, key, callback): | |
| 54 DropCell.drop_keys[key] = callback | |
|
18
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
55 |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
56 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
|
57 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
|
58 return |
|
18
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
59 self.addStyleName('dragover') |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
60 DOM.eventPreventDefault(event) |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
61 |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
62 def onDragLeave(self, event): |
| 33 | 63 if event.clientX <= self.getAbsoluteLeft() or event.clientY <= self.getAbsoluteTop() or\ |
| 64 event.clientX >= self.getAbsoluteLeft() + self.getOffsetWidth()-1 or event.clientY >= self.getAbsoluteTop() + self.getOffsetHeight()-1: | |
| 65 #We check that we are inside widget's box, and we don't remove the style in this case because | |
| 66 #if the mouse is over a widget inside the DropWidget, if will leave the DropWidget, and we | |
| 67 #don't want that | |
| 68 self.removeStyleName('dragover') | |
|
18
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
69 |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
70 def onDragOver(self, event): |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
71 DOM.eventPreventDefault(event) |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
72 |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
73 def _getCellAndRow(self, grid, event): |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
74 """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
|
75 cell = grid.getEventTargetCell(event) |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
76 row = DOM.getParent(cell) |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
77 return (row.rowIndex, cell.cellIndex) |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
78 |
|
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 |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
83 #'text', 'text/plain', and 'Text' are equivalent. |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
84 try: |
| 62 | 85 item, item_type = dt.getData("text/plain").split('\n') #Workaround for webkit, only text/plain seems to be managed |
| 86 if item_type and item_type[-1] == '\0': #Workaround for what looks like a pyjamas bug: the \0 should not be there, and | |
| 87 item_type = item_type[:-1] # .strip('\0') and .replace('\0','') don't work. TODO: check this and fill a bug report | |
| 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" |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
93 item=' ' |
|
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 |
|
c2639c9f86ea
Browser Side: Widgets can now be moved, header (title bar) is draggable:
Goffi <goffi@goffi.org>
parents:
195
diff
changeset
|
100 if self == _new_panel: # We can't drop on ourself |
|
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: |
| 195 | 113 _new_panel = self.drop_keys[item_type](self.host,item) |
|
39
305e81c7a32c
Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents:
38
diff
changeset
|
114 else: |
|
196
c2639c9f86ea
Browser Side: Widgets can now be moved, header (title bar) is draggable:
Goffi <goffi@goffi.org>
parents:
195
diff
changeset
|
115 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
|
116 return |
| 84 | 117 if isinstance(self, LiberviaWidget): |
| 118 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
|
119 self.onQuit() |
| 84 | 120 if not isinstance(_new_panel, LiberviaWidget): |
| 121 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
|
122 _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
|
123 _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
|
124 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
|
125 if self.host.getSelected == self: |
|
cf5c83e7d515
browser side: per tab selected widget management
Goffi <goffi@goffi.org>
parents:
191
diff
changeset
|
126 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
|
127 _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
|
128 """_unempty_panels = filter(lambda wid:not isinstance(wid,EmptyWidget),list(_flextable)) |
| 34 | 129 _width = 90/float(len(_unempty_panels) or 1) |
| 130 #now we resize all the cell of the column | |
| 131 for panel in _unempty_panels: | |
| 132 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
|
133 DOM.setStyleAttribute(td_elt, "width", "%s%%" % _width)""" |
|
18
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
134 #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
|
135 |
|
196
c2639c9f86ea
Browser Side: Widgets can now be moved, header (title bar) is draggable:
Goffi <goffi@goffi.org>
parents:
195
diff
changeset
|
136 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
|
137 |
|
c2639c9f86ea
Browser Side: Widgets can now be moved, header (title bar) is draggable:
Goffi <goffi@goffi.org>
parents:
195
diff
changeset
|
138 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
|
139 AbsolutePanel.__init__(self) |
|
c2639c9f86ea
Browser Side: Widgets can now be moved, header (title bar) is draggable:
Goffi <goffi@goffi.org>
parents:
195
diff
changeset
|
140 self.add(title) |
|
c2639c9f86ea
Browser Side: Widgets can now be moved, header (title bar) is draggable:
Goffi <goffi@goffi.org>
parents:
195
diff
changeset
|
141 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
|
142 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
|
143 button_group = HorizontalPanel() |
|
c2639c9f86ea
Browser Side: Widgets can now be moved, header (title bar) is draggable:
Goffi <goffi@goffi.org>
parents:
195
diff
changeset
|
144 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
|
145 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
|
146 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
|
147 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
|
148 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
|
149 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
|
150 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
|
151 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
|
152 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
|
153 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
|
154 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
|
155 self.addStyleName('widgetHeader') |
|
c2639c9f86ea
Browser Side: Widgets can now be moved, header (title bar) is draggable:
Goffi <goffi@goffi.org>
parents:
195
diff
changeset
|
156 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
|
157 |
| 84 | 158 class LiberviaWidget(DropCell, VerticalPanel, ClickHandler): |
| 83 | 159 """Libervia's widget which can replace itself with a dropped widget on DnD""" |
| 160 | |
| 84 | 161 def __init__(self, host, title='', selectable=False): |
| 162 """Init the widget | |
| 163 @param host: SatWebFrontend object | |
| 164 @param title: title show in the header of the widget | |
| 165 @param selectable: True is widget can be selected by user""" | |
| 83 | 166 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
|
167 DropCell.__init__(self, host) |
| 84 | 168 ClickHandler.__init__(self) |
| 169 self.__selectable = selectable | |
| 170 self.__title_id = HTMLPanel.createUniqueId() | |
| 171 self.__setting_button_id = HTMLPanel.createUniqueId() | |
| 172 self.__close_button_id = HTMLPanel.createUniqueId() | |
| 173 self.__title = Label(title) | |
| 174 self.__title.setStyleName('widgetHeader_title') | |
|
196
c2639c9f86ea
Browser Side: Widgets can now be moved, header (title bar) is draggable:
Goffi <goffi@goffi.org>
parents:
195
diff
changeset
|
175 header = WidgetHeader(self, self.__title) |
| 83 | 176 self.add(header) |
| 177 self.setSize('100%', '100%') | |
| 178 self.addStyleName('widget') | |
| 84 | 179 if self.__selectable: |
| 180 self.addClickListener(self) | |
| 181 self.host.registerWidget(self) | |
|
90
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
182 |
|
196
c2639c9f86ea
Browser Side: Widgets can now be moved, header (title bar) is draggable:
Goffi <goffi@goffi.org>
parents:
195
diff
changeset
|
183 def getWidgetsPanel(self): |
|
177
ba95cd824e06
browser side: tab is removed if it doesn't contain widget anymore.
Goffi <goffi@goffi.org>
parents:
174
diff
changeset
|
184 current = self |
|
ba95cd824e06
browser side: tab is removed if it doesn't contain widget anymore.
Goffi <goffi@goffi.org>
parents:
174
diff
changeset
|
185 while current is not None and current.__class__ != WidgetsPanel: |
|
ba95cd824e06
browser side: tab is removed if it doesn't contain widget anymore.
Goffi <goffi@goffi.org>
parents:
174
diff
changeset
|
186 current = current.getParent() |
|
ba95cd824e06
browser side: tab is removed if it doesn't contain widget anymore.
Goffi <goffi@goffi.org>
parents:
174
diff
changeset
|
187 if current is None: |
|
ba95cd824e06
browser side: tab is removed if it doesn't contain widget anymore.
Goffi <goffi@goffi.org>
parents:
174
diff
changeset
|
188 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
|
189 return current |
| 84 | 190 |
| 191 def onClick(self, sender): | |
|
192
cf5c83e7d515
browser side: per tab selected widget management
Goffi <goffi@goffi.org>
parents:
191
diff
changeset
|
192 self.host.setSelected(self) |
| 83 | 193 |
|
86
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
194 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
|
195 """ 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
|
196 _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
|
197 _widgetspanel.removeWidget(self) |
|
179
8475a29d7214
closing a group chat widget now leave the muc room (bug 11)
Goffi <goffi@goffi.org>
parents:
178
diff
changeset
|
198 self.onQuit() |
|
8475a29d7214
closing a group chat widget now leave the muc room (bug 11)
Goffi <goffi@goffi.org>
parents:
178
diff
changeset
|
199 |
|
8475a29d7214
closing a group chat widget now leave the muc room (bug 11)
Goffi <goffi@goffi.org>
parents:
178
diff
changeset
|
200 def onQuit(self): |
|
8475a29d7214
closing a group chat widget now leave the muc room (bug 11)
Goffi <goffi@goffi.org>
parents:
178
diff
changeset
|
201 """ 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
|
202 pass |
|
86
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
203 |
|
89
8d2c7be09eef
browser side: CSS: removed useless z-indexes, and replaced tabs by spaces
Goffi <goffi@goffi.org>
parents:
88
diff
changeset
|
204 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
|
205 widpanel = self.getWidgetsPanel() |
|
90
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
206 row, col = widpanel.getIndex(self) |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
207 body = VerticalPanel() |
|
92
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
208 |
|
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
209 #colspan & rowspan |
|
90
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
210 colspan = widpanel.getColSpan(row, col) |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
211 rowspan = widpanel.getRowSpan(row, col) |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
212 def onColSpanChange(value): |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
213 widpanel.setColSpan(row, col, value) |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
214 def onRowSpanChange(value): |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
215 widpanel.setRowSpan(row, col, value) |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
216 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
|
217 colspan_setter.addValueChangeListener(onColSpanChange) |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
218 colspan_setter.setWidth('100%') |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
219 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
|
220 rowspan_setter.addValueChangeListener(onRowSpanChange) |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
221 rowspan_setter.setWidth('100%') |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
222 body.add(colspan_setter) |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
223 body.add(rowspan_setter) |
|
92
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
224 |
|
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
225 #size |
|
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
226 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
|
227 if width_str.endswith('px'): |
|
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
228 width=int(width_str[:-2]) |
|
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
229 else: |
|
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
230 width = 0 |
|
97
3cbbe5c05aa5
browser side: widgets' setting: height detection fix
Goffi <goffi@goffi.org>
parents:
96
diff
changeset
|
231 height_str = self.getHeight() |
|
3cbbe5c05aa5
browser side: widgets' setting: height detection fix
Goffi <goffi@goffi.org>
parents:
96
diff
changeset
|
232 if height_str.endswith('px'): |
|
3cbbe5c05aa5
browser side: widgets' setting: height detection fix
Goffi <goffi@goffi.org>
parents:
96
diff
changeset
|
233 height=int(height_str[:-2]) |
|
3cbbe5c05aa5
browser side: widgets' setting: height detection fix
Goffi <goffi@goffi.org>
parents:
96
diff
changeset
|
234 else: |
|
3cbbe5c05aa5
browser side: widgets' setting: height detection fix
Goffi <goffi@goffi.org>
parents:
96
diff
changeset
|
235 height = 0 |
|
92
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
236 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
|
237 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
|
238 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
|
239 else: |
|
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
240 self.setWidth('%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
|
241 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
|
242 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
|
243 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
|
244 else: |
|
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
245 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
|
246 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
|
247 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
|
248 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
|
249 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
|
250 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
|
251 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
|
252 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
|
253 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
|
254 |
|
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
255 #reset |
|
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
256 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
|
257 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
|
258 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
|
259 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
|
260 height_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
|
261 |
|
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
262 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
|
263 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
|
264 body.setCellHorizontalAlignment(reset_bt, HasAlignment.ALIGN_CENTER) |
|
dd54bc13ac81
browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents:
90
diff
changeset
|
265 |
|
90
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
266 _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
|
267 _dialog.show() |
|
89
8d2c7be09eef
browser side: CSS: removed useless z-indexes, and replaced tabs by spaces
Goffi <goffi@goffi.org>
parents:
88
diff
changeset
|
268 |
| 83 | 269 def setTitle(self, text): |
| 270 """change the title in the header of the widget | |
| 271 @param text: text of the new title""" | |
| 84 | 272 self.__title.setText(text) |
| 273 | |
| 274 def isSelectable(self): | |
| 275 return self.__selectable | |
| 276 | |
| 277 def setSelectable(self, selectable): | |
| 278 if not self.__selectable: | |
| 279 try: | |
| 280 self.removeClickListener(self) | |
| 281 except ValueError: | |
| 282 pass | |
| 283 if self.selectable and not self in self._clickListeners: | |
| 284 self.addClickListener(self) | |
| 285 self.__selectable = selectable | |
| 83 | 286 |
|
201
aa76793da353
server + browser: message warning level/sending refactoring:
Goffi <goffi@goffi.org>
parents:
198
diff
changeset
|
287 def getWarningData(self): |
|
aa76793da353
server + browser: message warning level/sending refactoring:
Goffi <goffi@goffi.org>
parents:
198
diff
changeset
|
288 """ 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
|
289 This method should be overriden by children |
|
aa76793da353
server + browser: message warning level/sending refactoring:
Goffi <goffi@goffi.org>
parents:
198
diff
changeset
|
290 @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
|
291 - PUBLIC |
|
aa76793da353
server + browser: message warning level/sending refactoring:
Goffi <goffi@goffi.org>
parents:
198
diff
changeset
|
292 - GROUP |
|
aa76793da353
server + browser: message warning level/sending refactoring:
Goffi <goffi@goffi.org>
parents:
198
diff
changeset
|
293 - ONE2ONE |
|
aa76793da353
server + browser: message warning level/sending refactoring:
Goffi <goffi@goffi.org>
parents:
198
diff
changeset
|
294 - MISC |
|
aa76793da353
server + browser: message warning level/sending refactoring:
Goffi <goffi@goffi.org>
parents:
198
diff
changeset
|
295 - NONE |
|
aa76793da353
server + browser: message warning level/sending refactoring:
Goffi <goffi@goffi.org>
parents:
198
diff
changeset
|
296 """ |
|
aa76793da353
server + browser: message warning level/sending refactoring:
Goffi <goffi@goffi.org>
parents:
198
diff
changeset
|
297 if not self.__selectable: |
|
aa76793da353
server + browser: message warning level/sending refactoring:
Goffi <goffi@goffi.org>
parents:
198
diff
changeset
|
298 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
|
299 raise Exception |
|
aa76793da353
server + browser: message warning level/sending refactoring:
Goffi <goffi@goffi.org>
parents:
198
diff
changeset
|
300 # TODO: cleaner warning types (more general constants) |
|
aa76793da353
server + browser: message warning level/sending refactoring:
Goffi <goffi@goffi.org>
parents:
198
diff
changeset
|
301 return ("NONE", None) |
|
aa76793da353
server + browser: message warning level/sending refactoring:
Goffi <goffi@goffi.org>
parents:
198
diff
changeset
|
302 |
| 83 | 303 def setWidget(self, widget, scrollable=True): |
| 304 """Set the widget that will be in the body of the LiberviaWidget | |
| 305 @param widget: widget to put in the body | |
| 306 @param scrollable: if true, the widget will be in a ScrollPanelWrapper""" | |
| 307 if scrollable: | |
| 308 _scrollpanelwrapper = ScrollPanelWrapper() | |
| 309 _scrollpanelwrapper.setStyleName('widgetBody') | |
| 310 _scrollpanelwrapper.setWidget(widget) | |
| 311 body_wid = _scrollpanelwrapper | |
| 312 else: | |
| 313 body_wid = widget | |
| 314 self.add(body_wid) | |
| 315 self.setCellHeight(body_wid, '100%') | |
| 316 | |
|
86
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
317 def doDetachChildren(self): |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
318 #We need to force the use of a panel subclass method here, |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
319 #for the same reason as doAttachChildren |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
320 VerticalPanel.doDetachChildren(self) |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
321 |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
322 def doAttachChildren(self): |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
323 #We need to force the use of a panel subclass method here, else |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
324 #the event will not propagate to children |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
325 VerticalPanel.doAttachChildren(self) |
| 83 | 326 |
| 34 | 327 class ScrollPanelWrapper(SimplePanel): |
| 328 """Scroll Panel like component, wich use the full available space | |
| 329 to work around percent size issue, it use some of the ideas found | |
| 330 here: http://code.google.com/p/google-web-toolkit/issues/detail?id=316 | |
| 331 specially in code given at comment #46, thanks to Stefan Bachert""" | |
| 332 | |
| 333 def __init__(self, *args, **kwargs): | |
| 334 SimplePanel.__init__(self) | |
| 335 self.spanel = ScrollPanel(*args, **kwargs) | |
| 336 SimplePanel.setWidget(self, self.spanel) | |
| 337 DOM.setStyleAttribute(self.getElement(), "position", "relative") | |
| 338 DOM.setStyleAttribute(self.getElement(), "top", "0px") | |
| 339 DOM.setStyleAttribute(self.getElement(), "left", "0px") | |
| 340 DOM.setStyleAttribute(self.getElement(), "width", "100%") | |
| 341 DOM.setStyleAttribute(self.getElement(), "height", "100%") | |
| 342 DOM.setStyleAttribute(self.spanel.getElement(), "position", "absolute") | |
| 343 DOM.setStyleAttribute(self.spanel.getElement(), "width", "100%") | |
| 344 DOM.setStyleAttribute(self.spanel.getElement(), "height", "100%") | |
| 345 | |
| 346 def setWidget(self, widget): | |
| 347 self.spanel.setWidget(widget) | |
| 348 | |
| 349 def setScrollPosition(self, position): | |
| 350 self.spanel.setScrollPosition(position) | |
| 351 | |
| 352 def scrollToBottom(self): | |
| 353 self.setScrollPosition(self.spanel.getElement().scrollHeight) | |
| 354 | |
|
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
|
355 class EmptyWidget(DropCell, SimplePanel): |
|
18
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
356 """Empty dropable panel""" |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
357 |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
358 def __init__(self, host): |
|
795d144fc1d2
moved panels and menu in a separate file
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
359 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
|
360 DropCell.__init__(self, host) |
|
96
d7a4bbaddfb0
browser side: removed in EmptyPanel
Goffi <goffi@goffi.org>
parents:
92
diff
changeset
|
361 #self.setWidget(HTML('')) |
| 83 | 362 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
|
363 |
|
a8f027738c16
browser side: widgets cells can now be added by putting a widget on a border
Goffi <goffi@goffi.org>
parents:
84
diff
changeset
|
364 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
|
365 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
|
366 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
|
367 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
|
368 |
|
a8f027738c16
browser side: widgets cells can now be added by putting a widget on a border
Goffi <goffi@goffi.org>
parents:
84
diff
changeset
|
369 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
|
370 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
|
371 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
|
372 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
|
373 |
|
a8f027738c16
browser side: widgets cells can now be added by putting a widget on a border
Goffi <goffi@goffi.org>
parents:
84
diff
changeset
|
374 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
|
375 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
|
376 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
|
377 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
|
378 |
|
a8f027738c16
browser side: widgets cells can now be added by putting a widget on a border
Goffi <goffi@goffi.org>
parents:
84
diff
changeset
|
379 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
|
380 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
|
381 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
|
382 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
|
383 |
|
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
|
384 class WidgetsPanel(ScrollPanelWrapper): |
| 83 | 385 |
|
184
97d5e9de1106
browser side: contacts panel switch:
Goffi <goffi@goffi.org>
parents:
181
diff
changeset
|
386 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
|
387 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
|
388 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
|
389 self.host = host |
|
184
97d5e9de1106
browser side: contacts panel switch:
Goffi <goffi@goffi.org>
parents:
181
diff
changeset
|
390 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
|
391 self.selected = None |
| 83 | 392 self.flextable = FlexTable() |
| 393 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
|
394 self.setWidget(self.flextable) |
| 83 | 395 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
|
396 _bottom = BottomBorderWidget(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
|
397 self.flextable.setWidget(0, 0, _bottom) #There will be always an Empty widget on the last row, |
|
101
ad0696615768
browser side: bottomBorderWidget size fix (for webkit)
Goffi <goffi@goffi.org>
parents:
97
diff
changeset
|
398 #dropping a widget there will add a new row |
|
ad0696615768
browser side: bottomBorderWidget size fix (for webkit)
Goffi <goffi@goffi.org>
parents:
97
diff
changeset
|
399 td_elt = _bottom.getElement().parentNode |
|
ad0696615768
browser side: bottomBorderWidget size fix (for webkit)
Goffi <goffi@goffi.org>
parents:
97
diff
changeset
|
400 DOM.setStyleAttribute(td_elt, "height", "1px") #needed so the cell adapt to the size of the border (specially in webkit) |
|
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
|
401 self._max_cols = 1 #give the maximum number of columns i a raw |
| 83 | 402 |
|
184
97d5e9de1106
browser side: contacts panel switch:
Goffi <goffi@goffi.org>
parents:
181
diff
changeset
|
403 def isLocked(self): |
|
97d5e9de1106
browser side: contacts panel switch:
Goffi <goffi@goffi.org>
parents:
181
diff
changeset
|
404 return self.locked |
|
97d5e9de1106
browser side: contacts panel switch:
Goffi <goffi@goffi.org>
parents:
181
diff
changeset
|
405 |
|
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
|
406 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
|
407 """Change the widget in the given location, add row or columns when necessary""" |
|
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 print "changing widget:", wid, 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
|
409 last_row = max(0, self.flextable.getRowCount()-1) |
| 83 | 410 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
|
411 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
|
412 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
|
413 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
|
414 return |
|
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
|
415 |
|
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
|
416 |
|
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 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
|
418 |
|
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 if isinstance(prev_wid, 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
|
420 #We are on a border, we must create a row and/or columns |
|
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 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
|
422 prev_wid.removeStyleName('dragover') |
|
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 |
|
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 if isinstance(prev_wid, 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
|
425 #We are on the bottom border, we create a new 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
|
426 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
|
427 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
|
428 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
|
429 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
|
430 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
|
431 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
|
432 |
|
a8f027738c16
browser side: widgets cells can now be added by putting a widget on a border
Goffi <goffi@goffi.org>
parents:
84
diff
changeset
|
433 elif isinstance(prev_wid, 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
|
434 if col!=0: |
|
a8f027738c16
browser side: widgets cells can now be added by putting a widget on a border
Goffi <goffi@goffi.org>
parents:
84
diff
changeset
|
435 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
|
436 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
|
437 self.flextable.insertCell(row, col+1) |
|
a8f027738c16
browser side: widgets cells can now be added by putting a widget on a border
Goffi <goffi@goffi.org>
parents:
84
diff
changeset
|
438 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
|
439 |
|
a8f027738c16
browser side: widgets cells can now be added by putting a widget on a border
Goffi <goffi@goffi.org>
parents:
84
diff
changeset
|
440 elif isinstance(prev_wid, 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
|
441 if col!=self.flextable.getCellCount(row)-1: |
|
a8f027738c16
browser side: widgets cells can now be added by putting a widget on a border
Goffi <goffi@goffi.org>
parents:
84
diff
changeset
|
442 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
|
443 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
|
444 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
|
445 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
|
446 |
|
a8f027738c16
browser side: widgets cells can now be added by putting a widget on a border
Goffi <goffi@goffi.org>
parents:
84
diff
changeset
|
447 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
|
448 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
|
449 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
|
450 |
|
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 _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
|
452 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
|
453 self._max_cols = _max_cols |
|
86
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
454 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
|
455 |
|
86
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
456 def _sizesAdjust(self): |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
457 cellFormatter = self.flextable.getFlexCellFormatter() |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
458 width = 100.0/max(1, self._max_cols-2) #we don't count the borders |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
459 |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
460 for row_idx in xrange(self.flextable.getRowCount()): |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
461 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
|
462 _widget = self.flextable.getWidget(row_idx, col_idx) |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
463 if not isinstance(_widget, BorderWidget): |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
464 td_elt = _widget.getElement().parentNode |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
465 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
|
466 |
|
86
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
467 last_row = max(0, self.flextable.getRowCount()-1) |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
468 cellFormatter.setColSpan(last_row, 0, self._max_cols) |
| 178 | 469 |
|
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 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
|
471 """Add a widget to a new cell on the next to 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
|
472 last_row = max(0, self.flextable.getRowCount()-1) |
|
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 print "putting widget %s at %d, %d" % (wid, last_row, 0) |
|
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 self.changeWidget(last_row, 0, wid) |
| 83 | 475 |
|
86
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
476 def removeWidget(self, wid): |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
477 """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
|
478 _row, _col = self.flextable.getIndex(wid) |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
479 self.flextable.remove(wid) |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
480 self.flextable.removeCell(_row, _col) |
|
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
|
481 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
|
482 self.flextable.removeRow(_row) |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
483 _max_cols = 1 |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
484 for row_idx in xrange(self.flextable.getRowCount()): |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
485 _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
|
486 if _max_cols != self._max_cols: |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
487 self._max_cols = _max_cols |
|
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
488 self._sizesAdjust() |
|
177
ba95cd824e06
browser side: tab is removed if it doesn't contain widget anymore.
Goffi <goffi@goffi.org>
parents:
174
diff
changeset
|
489 current = self |
|
ba95cd824e06
browser side: tab is removed if it doesn't contain widget anymore.
Goffi <goffi@goffi.org>
parents:
174
diff
changeset
|
490 |
|
196
c2639c9f86ea
Browser Side: Widgets can now be moved, header (title bar) is draggable:
Goffi <goffi@goffi.org>
parents:
195
diff
changeset
|
491 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
|
492 |
|
184
97d5e9de1106
browser side: contacts panel switch:
Goffi <goffi@goffi.org>
parents:
181
diff
changeset
|
493 if blank_page and not self.isLocked(): |
|
177
ba95cd824e06
browser side: tab is removed if it doesn't contain widget anymore.
Goffi <goffi@goffi.org>
parents:
174
diff
changeset
|
494 #we now notice the MainTabPanel that the 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
|
495 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
|
496 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
|
497 current.onWidgetPanelRemove(self) |
|
ba95cd824e06
browser side: tab is removed if it doesn't contain widget anymore.
Goffi <goffi@goffi.org>
parents:
174
diff
changeset
|
498 return |
|
ba95cd824e06
browser side: tab is removed if it doesn't contain widget anymore.
Goffi <goffi@goffi.org>
parents:
174
diff
changeset
|
499 current = current.getParent() |
|
ba95cd824e06
browser side: tab is removed if it doesn't contain widget anymore.
Goffi <goffi@goffi.org>
parents:
174
diff
changeset
|
500 print "Error: no MainTabPanel found !" |
|
86
6c3b3254605f
browser side: widget removing is now managed
Goffi <goffi@goffi.org>
parents:
85
diff
changeset
|
501 |
|
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
|
502 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
|
503 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
|
504 |
|
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
|
505 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
|
506 """ 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
|
507 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
|
508 |
|
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
|
509 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
|
510 """ 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
|
511 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
|
512 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
|
513 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
|
514 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
|
515 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
|
516 |
|
196
c2639c9f86ea
Browser Side: Widgets can now be moved, header (title bar) is draggable:
Goffi <goffi@goffi.org>
parents:
195
diff
changeset
|
517 def getLiberviaWidgetsCount(self): |
|
c2639c9f86ea
Browser Side: Widgets can now be moved, header (title bar) is draggable:
Goffi <goffi@goffi.org>
parents:
195
diff
changeset
|
518 """ 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
|
519 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
|
520 |
|
90
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
521 def getIndex(self, wid): |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
522 return self.flextable.getIndex(wid) |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
523 |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
524 def getColSpan(self, row, col): |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
525 cellFormatter = self.flextable.getFlexCellFormatter() |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
526 return cellFormatter.getColSpan(row, col) |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
527 |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
528 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
|
529 cellFormatter = self.flextable.getFlexCellFormatter() |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
530 return cellFormatter.setColSpan(row, col, value) |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
531 |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
532 def getRowSpan(self, row, col): |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
533 cellFormatter = self.flextable.getFlexCellFormatter() |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
534 return cellFormatter.getRowSpan(row, col) |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
535 |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
536 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
|
537 cellFormatter = self.flextable.getFlexCellFormatter() |
|
9729ed7171a6
browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents:
89
diff
changeset
|
538 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
|
539 |
|
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
|
540 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
|
541 |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
542 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
|
543 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
|
544 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
|
545 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
|
546 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
|
547 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
|
548 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
|
549 |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
550 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
|
551 """ get current index of the DropTab """ |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
552 # XXX: awful hack, but seems the only way to get index |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
553 return self.tab_panel.tabBar.panel.getWidgetIndex(self.getParent().getParent()) - 1 |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
554 |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
555 |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
556 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
|
557 #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
|
558 # 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
|
559 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
|
560 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
|
561 |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
562 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
|
563 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
|
564 |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
565 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
|
566 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
|
567 |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
568 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
|
569 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
|
570 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
|
571 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
|
572 # 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
|
573 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
|
574 |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
575 # 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
|
576 dt = event.dataTransfer |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
577 #'text', 'text/plain', and 'Text' are equivalent. |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
578 try: |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
579 item, item_type = dt.getData("text/plain").split('\n') #Workaround for webkit, only text/plain seems to be managed |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
580 if item_type and item_type[-1] == '\0': #Workaround for what looks like a pyjamas bug: the \0 should not be there, and |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
581 item_type = item_type[:-1] # .strip('\0') and .replace('\0','') don't work. TODO: check this and fill a bug report |
|
ab239b3b67b3
browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
Goffi <goffi@goffi.org>
parents:
197
diff
changeset
|
582 #item_type = dt.getData("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
|
583 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
|
584 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
|
585 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
|
586 print "no message found" |
|
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 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
|
588 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
|
589 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
|
590 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
|
591 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
|
592 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
|
593 _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
|
594 _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
|
595 elif item_type in DropCell.drop_keys: |
|
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 _new_panel = DropCell.drop_keys[item_type](self.tab_panel.host,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
|
597 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
|
598 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
|
599 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
|
600 |
|
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 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
|
602 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
|
603 |
| 34 | 604 class MainTabPanel(TabPanel): |
| 23 | 605 |
| 606 def __init__(self, host): | |
| 33 | 607 TabPanel.__init__(self) |
| 23 | 608 self.host=host |
| 609 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
|
610 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
|
611 self.addStyleName('mainTabPanel') |
| 33 | 612 Window.addWindowResizeListener(self) |
| 613 | |
|
192
cf5c83e7d515
browser side: per tab selected widget management
Goffi <goffi@goffi.org>
parents:
191
diff
changeset
|
614 def getCurrentPanel(self): |
|
cf5c83e7d515
browser side: per tab selected widget management
Goffi <goffi@goffi.org>
parents:
191
diff
changeset
|
615 """ Get the panel of the currently selected tab """ |
|
cf5c83e7d515
browser side: per tab selected widget management
Goffi <goffi@goffi.org>
parents:
191
diff
changeset
|
616 return self.deck.visibleWidget |
|
cf5c83e7d515
browser side: per tab selected widget management
Goffi <goffi@goffi.org>
parents:
191
diff
changeset
|
617 |
| 33 | 618 def onWindowResized(self, width, height): |
| 619 tab_panel_elt = self.getElement() | |
| 620 _elts = doc().getElementsByClassName('gwt-TabBar') | |
| 621 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
|
622 print ("ERROR: no TabBar found, it should exist !") |
| 33 | 623 tab_bar_h = 0 |
| 624 else: | |
| 625 tab_bar_h = _elts.item(0).offsetHeight | |
|
187
d0503f8f15ef
browser side: scroller added to contacts panel
Goffi <goffi@goffi.org>
parents:
186
diff
changeset
|
626 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
|
627 ideal_width = width - DOM.getAbsoluteLeft(tab_panel_elt) - 5 |
|
184
97d5e9de1106
browser side: contacts panel switch:
Goffi <goffi@goffi.org>
parents:
181
diff
changeset
|
628 self.setWidth("%s%s" % (ideal_width, "px")); |
| 33 | 629 self.setHeight("%s%s" % (ideal_height, "px")); |
| 23 | 630 |
|
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
|
631 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
|
632 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
|
633 TabPanel.add(self, widget, tab, False) |
| 23 | 634 if self.getWidgetCount()>1: |
| 635 self.tabBar.setVisible(True) | |
| 33 | 636 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
|
637 |
|
ba95cd824e06
browser side: tab is removed if it doesn't contain widget anymore.
Goffi <goffi@goffi.org>
parents:
174
diff
changeset
|
638 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
|
639 """ 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
|
640 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
|
641 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
|
642 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
|
643 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
|
644 self.host.resize() |
|
ba95cd824e06
browser side: tab is removed if it doesn't contain widget anymore.
Goffi <goffi@goffi.org>
parents:
174
diff
changeset
|
645 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
|
646 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
|
647 self.selectTab(widgets_count - 1) |
| 23 | 648 |