+ # react on some keys - rough but convenient
+ if os.isatty(fdin):
+ # read stdin
+ typed=[]
+ while select.select([sys.stdin,],[],[],0.0)[0]:
+ typed.append(sys.stdin.read(1))
+# print 'found chars',typed
+ for char in typed:
+ if char.lower() in ['l']: os.system("clear")
+ elif char.lower() in ['m']:
+ for i in range(3) : print 60 * '='
+ elif char.lower() in ['q']: sys.exit(0)
+ elif char.lower() in ['h']:
+ print """l: refresh page
+m: mark
+q: quit
+h: help"""
+