Revision 9ec085e2
b/src/gr/grnet/pithos/web/client/Pithos.java | ||
---|---|---|
73 | 73 |
import com.google.gwt.event.dom.client.ClickHandler; |
74 | 74 |
import com.google.gwt.event.logical.shared.ResizeEvent; |
75 | 75 |
import com.google.gwt.event.logical.shared.ResizeHandler; |
76 |
import com.google.gwt.http.client.Request; |
|
77 |
import com.google.gwt.http.client.RequestBuilder; |
|
78 |
import com.google.gwt.http.client.RequestCallback; |
|
79 |
import com.google.gwt.http.client.RequestException; |
|
80 | 76 |
import com.google.gwt.http.client.Response; |
81 | 77 |
import com.google.gwt.http.client.URL; |
82 | 78 |
import com.google.gwt.i18n.client.DateTimeFormat; |
83 |
import com.google.gwt.i18n.client.DateTimeFormat.PredefinedFormat; |
|
84 | 79 |
import com.google.gwt.i18n.client.Dictionary; |
85 | 80 |
import com.google.gwt.i18n.client.TimeZone; |
86 |
import com.google.gwt.i18n.client.TimeZoneInfo; |
|
87 |
import com.google.gwt.i18n.client.constants.TimeZoneConstants; |
|
88 |
import com.google.gwt.json.client.JSONArray; |
|
89 |
import com.google.gwt.json.client.JSONObject; |
|
90 |
import com.google.gwt.json.client.JSONParser; |
|
91 |
import com.google.gwt.json.client.JSONString; |
|
92 |
import com.google.gwt.json.client.JSONValue; |
|
93 | 81 |
import com.google.gwt.resources.client.ClientBundle; |
94 | 82 |
import com.google.gwt.resources.client.CssResource; |
95 | 83 |
import com.google.gwt.resources.client.ImageResource; |
... | ... | |
98 | 86 |
import com.google.gwt.user.client.Cookies; |
99 | 87 |
import com.google.gwt.user.client.Event; |
100 | 88 |
import com.google.gwt.user.client.History; |
101 |
import com.google.gwt.user.client.Timer; |
|
102 | 89 |
import com.google.gwt.user.client.Window; |
103 | 90 |
import com.google.gwt.user.client.ui.AbstractImagePrototype; |
104 | 91 |
import com.google.gwt.user.client.ui.Button; |
... | ... | |
922 | 909 |
updateStatistics(); |
923 | 910 |
if (callback != null) |
924 | 911 |
callback.execute(); |
925 |
Timer t = new Timer() { |
|
926 |
|
|
927 |
@Override |
|
928 |
public void run() { |
|
929 |
pwp.hide(); |
|
930 |
} |
|
931 |
}; |
|
932 |
t.schedule(5000); |
|
912 |
pwp.hide(); |
|
933 | 913 |
} |
934 | 914 |
}, true); |
935 | 915 |
} |
Also available in: Unified diff