Check-in [147d87c1e1]
Overview
| Comment: | Temporary workaround for file browser plugin to avoid reloading. |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
147d87c1e1a5a702478648549f140360 |
| User & Date: | Oliver on 2016-12-23 21:39:14 |
| Other Links: | manifest | tags |
Context
|
2016-12-23
| ||
| 22:22 | Moved backslash conversion and .load() override back into file browser plugin. check-in: 60ee1e2e12 user: mario tags: trunk | |
| 21:39 | Temporary workaround for file browser plugin to avoid reloading. check-in: 147d87c1e1 user: Oliver tags: trunk | |
| 21:37 | Unified the definitions for Make-Shortcut in @tasks. Moved the Python 2.7.13 GUID to $Python GUID, since it is used in regkey and Check-Pythoninstall. For the uninstall dismissed the batch variable %UsrFolder%, since it was used only once and can be derived from %installFolder%. This had also to be corrected in the uninstall script generation in install_python_gtk.ps1. In Resetprefs.cmd I changed the text to reflect that also the downloaded Gtk themes would be deleted. In uninstall.cmd I changed the rd command for the themes folder to use the correct rd syntax. check-in: de4013065e user: Oliver tags: trunk | |
Changes
Modified st2.py from [83bfadb12a] to [41e5406dc6].
| ︙ | ︙ | |||
303 304 305 306 307 308 309 310 311 312 313 314 315 316 |
log.UI("dblclick")
url = self.channel().meta.get("url", "https://duckduckgo.com/?q=" + self.channel().module)
action.browser(url)
# Reload stream list in current channel-category
def on_reload_clicked(self, widget=None, reload=1):
log.UI("on_reload_clicked()", "reload=", reload, "current_channel=", self.current_channel, "c=", self.channels[self.current_channel], "cat=", self.channel().current)
self.thread(self._on_reload, self.channel(), reload)
def _on_reload(self, channel, reload):
self.channel().load(channel.current, force=reload)
if reload:
try: self.bookmarks.heuristic_update(self.current_channel, channel.category)
except: pass
| > > | 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 |
log.UI("dblclick")
url = self.channel().meta.get("url", "https://duckduckgo.com/?q=" + self.channel().module)
action.browser(url)
# Reload stream list in current channel-category
def on_reload_clicked(self, widget=None, reload=1):
log.UI("on_reload_clicked()", "reload=", reload, "current_channel=", self.current_channel, "c=", self.channels[self.current_channel], "cat=", self.channel().current)
if self.current_channel == "file": # reload is removing entries without Station Title...
reload=0
self.thread(self._on_reload, self.channel(), reload)
def _on_reload(self, channel, reload):
self.channel().load(channel.current, force=reload)
if reload:
try: self.bookmarks.heuristic_update(self.current_channel, channel.category)
except: pass
|
| ︙ | ︙ |