Check-in [80ca7a6731]
Overview
| Comment: | Apply new options right when installing plugins. |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
80ca7a6731c2bb9f81203f6926f331e6 |
| User & Date: | mario on 2016-12-31 14:14:37 |
| Other Links: | manifest | tags |
Context
|
2016-12-31
| ||
| 14:14 | Fetch meta["title"] instead of ["id"] for About dialog check-in: 576bac1d25 user: mario tags: trunk | |
| 14:14 | Apply new options right when installing plugins. check-in: 80ca7a6731 user: mario tags: trunk | |
| 13:45 | Option `file_browser_converttourl` check-in: 70b35b914f user: mario tags: trunk | |
Changes
Modified channels/pluginmanager2.py from [7d11864bfe] to [1b1b12b5ad].
| ︙ | |||
170 171 172 173 174 175 176 | 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 | + - + - + + |
p.setdefault(field, "-")
return p
# Download a plugin
def install(self, p):
src = ahttp.get(p["$file"], encoding="utf-8")
name = p["$name"]
|
| ︙ |