Check-in [6226dc5594]
Overview
| Comment: | Nicer error message, and compacter plugin comment. Add default config value in init. |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
6226dc5594a88f0a5f3c8217fd7afcd7 |
| User & Date: | mario on 2015-04-01 15:43:31 |
| Other Links: | manifest | tags |
Context
|
2015-04-01
| ||
| 15:44 | Fix conf.debug checking. check-in: 4997a22651 user: mario tags: trunk | |
| 15:43 | Nicer error message, and compacter plugin comment. Add default config value in init. check-in: 6226dc5594 user: mario tags: trunk | |
| 15:42 | More PixbufLoader workarounds for Gtk3, and get_data() casting for Python 3. check-in: f5d46dca11 user: mario tags: trunk | |
Changes
Modified channels/global_key.py from [3e28ed6ce5] to [cc1be2e9de].
|
| < | | | | | < | > | | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 |
# api: streamtuner2
# title: Global keyboard shortcut
# description: Allows switching between bookmarked radios via key press.
# type: feature
# category: ui
# version: 0.3
# config:
# { name="switch_key", type="text", value="XF86Forward", description="Global key shortcut for switching radio." },
# { name="switch_channel", type="text", value="bookmarks:favourite", description="Station list and channels to alternate in." },
# { name="switch_random", type="boolean", value=0, description="Pick random channel, instead of next." },
# priority: extra
# depends: python-keybinder
#
#
# Binds a key to global desktop (F13 = left windows key).
# On keypress switches the currently playing radio station
# to another one from the bookmarks list.
#
# Valid key names are `F9`, `<Ctrl>G`, `<Alt>R` for example.
import keybinder
from config import *
import action
import random
# register a key
class global_key(object):
module = "global_key"
title = "keyboard shortcut"
meta = plugin_meta()
last = 0
# register
def __init__(self, parent):
self.parent = parent
conf.add_plugin_defaults(self.meta["config"], self.module)
try:
for i,keyname in enumerate(conf.switch_key.split(",")): # allow multiple keys
keybinder.bind(keyname, self.switch, ((-1 if i else +1))) # forward +1 or backward -1
except:
__print__(dbg.ERR, "plugin global_key: Key `%s` could not be registered" % conf.switch_key)
# key event
def switch(self, num, *any):
# bookmarks, favourite
channel, cat = conf.switch_channel.split(":")
|
| ︙ | ︙ |