blob: d2237c5f606bfc8cc245a62ef581031dd3ab694c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
package com.vaadin.terminal.gwt.client.ui;
import com.google.gwt.dom.client.Document;
import com.google.gwt.user.client.History;
import com.google.gwt.user.client.HistoryListener;
import com.google.gwt.user.client.ui.Widget;
import com.vaadin.terminal.gwt.client.ApplicationConnection;
import com.vaadin.terminal.gwt.client.BrowserInfo;
import com.vaadin.terminal.gwt.client.Paintable;
import com.vaadin.terminal.gwt.client.UIDL;
/**
* Client side implementation for UriFragmentUtility. Uses GWT's History object
* as an implementation.
*
*/
public class IUriFragmentUtility extends Widget implements Paintable,
HistoryListener {
private String fragment;
private ApplicationConnection client;
private String paintableId;
private boolean immediate;
public IUriFragmentUtility() {
setElement(Document.get().createDivElement());
if (BrowserInfo.get().isIE6()) {
getElement().getStyle().setProperty("overflow", "hidden");
getElement().getStyle().setProperty("height", "0");
}
History.addHistoryListener(this);
History.fireCurrentHistoryState();
}
public void updateFromUIDL(UIDL uidl, ApplicationConnection client) {
if (client.updateComponent(this, uidl, false)) {
return;
}
String uidlFragment = uidl.getStringVariable("fragment");
immediate = uidl.getBooleanAttribute("immediate");
if (this.client == null) {
// initial paint has some special logic
this.client = client;
paintableId = uidl.getId();
if (!fragment.equals(uidlFragment)) {
// initial server side fragment (from link/bookmark/typed) does
// not equal the one on
// server, send initial fragment to server
History.fireCurrentHistoryState();
}
} else {
if (uidlFragment != null && !uidlFragment.equals(fragment)) {
fragment = uidlFragment;
// normal fragment change from server, add new history item
History.newItem(uidlFragment, false);
}
}
}
public void onHistoryChanged(String historyToken) {
fragment = historyToken;
if (client != null) {
client.updateVariable(paintableId, "fragment", fragment, immediate);
}
}
}
|
