Check-in [069f6308de]
Overview
| Comment: | Make quicksearch icon activatable again (property "secondary-icon-activatable" was required). |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
069f6308de8aea78c19eda57aa878f03 |
| User & Date: | mario on 2015-05-21 02:25:09 |
| Other Links: | manifest | tags |
Context
|
2015-05-21
| ||
| 20:08 | Remove config.find_in_dirs(), which is unused now. check-in: 11f270a726 user: mario tags: trunk | |
| 02:25 | Make quicksearch icon activatable again (property "secondary-icon-activatable" was required). check-in: 069f6308de user: mario tags: trunk | |
|
2015-05-19
| ||
| 22:37 | Minor help page updates. check-in: 9b6aa021cd user: mario tags: trunk | |
Changes
Modified gtk3.xml.gz from [59cda16349] to [a673a756eb].
cannot compute difference between binary files
Modified st2.py from [90a3b1d53c] to [eca59ce447].
1 2 3 4 5 6 | #!/usr/bin/env python # encoding: UTF-8 # api: python # type: application # title: streamtuner2 # description: Directory browser for internet radio, audio and video streams | | | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 |
#!/usr/bin/env python
# encoding: UTF-8
# api: python
# type: application
# title: streamtuner2
# description: Directory browser for internet radio, audio and video streams
# version: 2.1.9-beta1
# state: beta
# author: Mario Salzer <mario@include-once.org>
# license: Public Domain
# url: http://freshcode.club/projects/streamtuner2
# config:
# { type: env, name: http_proxy, description: proxy for HTTP access }
# { type: env, name: XDG_CONFIG_HOME, description: relocates user .config subdirectory }
|
| ︙ | ︙ | |||
432 433 434 435 436 437 438 |
log.INIT("load_plugin_channels: error initializing:", name, ", exception:")
traceback.print_exc()
# Redraw logo
def logo_scale(self, r=1.0, map=None):
pix = uikit.pixbuf(logo.png, decode=1, fmt="png")
| | | 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 |
log.INIT("load_plugin_channels: error initializing:", name, ", exception:")
traceback.print_exc()
# Redraw logo
def logo_scale(self, r=1.0, map=None):
pix = uikit.pixbuf(logo.png, decode=1, fmt="png")
if map and map in (2,5,0): # gtk.ICON_SIZE_SMALL_TOOLBAR / _DND / _DIALOG
r = { 2: 0.45, 5: 0.75, 0: 1.0 }[map]
if r != 1.0:
pix = pix.scale_simple(int(321*r), int(115*r), gtk.gdk.INTERP_BILINEAR)
self.img_logo.set_from_pixbuf(pix)
# load application state (widget sizes, selections, etc.)
|
| ︙ | ︙ |