def change_marker(s, x=None):
c = s.markermenu.GetSelection()
if c: rssplanet.icons = True
else: rssplanet.icons = False
timer.Stop()
rssplanet.write_marker_file()
timer.Start(gui_interval)
def change_marker(s, x = None):
c = s.markermenu.GetSelection()
if c: rssplanet.icons = True
else: rssplanet.icons = False
timer.Stop()
rssplanet.write_marker_file()
timer.Start(gui_interval)
def run_rssplanet(s):
global last_update, timer
timer.Stop()
s.SetStatusText("Fetching news...")
s.Refresh()
s.Update()
rssplanet.items = []
rssplanet.dropcount = {}
rssplanet.update()
rssplanet.write_marker_file()
s.SetStatusText('')
last_update = time.time()
if rssplanet.items:
s.items = rssplanet.items
s.cur_item = 10000
s.last_up.SetLabel("Last updated " + time.strftime("%Y-%m-%d %H:%M",
time.localtime(last_update)))
timer.Start(gui_interval)
def run_rssplanet(s):
global last_update, timer
timer.Stop()
s.SetStatusText("Fetching news...")
s.Refresh()
s.Update()
rssplanet.items = []
rssplanet.dropcount = {}
rssplanet.update()
rssplanet.write_marker_file()
s.SetStatusText('')
last_update = time.time()
if rssplanet.items:
s.items = rssplanet.items
s.cur_item = 10000
s.last_up.SetLabel(
"Last updated " +
time.strftime("%Y-%m-%d %H:%M", time.localtime(last_update)))
timer.Start(gui_interval)
