Internet radio browser GUI for music/video streams from various directory services.

⌈⌋ branch:  streamtuner2


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: 069f6308de8aea78c19eda57aa878f033c06b6ff
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
7
8
9
10
11
12
13
14
...
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
#!/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.8-dev
# 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 }
................................................................................
                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):
            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.)






|







 







|







1
2
3
4
5
6
7
8
9
10
11
12
13
14
...
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
#!/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 }
................................................................................
                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.)