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)