3 from __future__ import with_statement
20 @contextlib.contextmanager
21 def flock(path, timeout=-1):
28 while timeSpent <= timeout or timeout == WAIT_FOREVER:
30 fd = os.open(path, os.O_CREAT | os.O_EXCL | os.O_RDWR)
34 if e.errno != errno.EEXIST:
39 assert acquired, "Failed to grab file-lock %s within timeout %d" % (path, timeout)
47 @contextlib.contextmanager
49 gtk.gdk.threads_enter()
53 gtk.gdk.threads_leave()
56 def find_parent_window(widget):
58 parent = widget.get_parent()
59 if isinstance(parent, gtk.Window):
66 Decorator that makes a generator-function into a function that will continue execution on next call
70 @functools.wraps(func)
71 def decorated_func(*args, **kwds):
73 a.append(func(*args, **kwds))
84 def asynchronous_gtk_message(original_func):
86 @note Idea came from http://www.aclevername.com/articles/python-webgui/
90 args, kwargs = allArgs
92 original_func(*args, **kwargs)
95 @functools.wraps(original_func)
96 def delayed_func(*args, **kwargs):
97 gobject.idle_add(execute, (args, kwargs))
102 def synchronous_gtk_message(original_func):
104 @note Idea came from http://www.aclevername.com/articles/python-webgui/
107 @functools.wraps(original_func)
108 def immediate_func(*args, **kwargs):
110 return original_func(*args, **kwargs)
112 return immediate_func
118 ... def grep_sink(pattern):
119 ... print "Looking for %s" % pattern
122 ... if pattern in line:
124 >>> g = grep_sink("python")
126 >>> g.send("Yeah but no but yeah but no")
127 >>> g.send("A series of tubes")
128 >>> g.send("python generators rock!")
129 python generators rock!
133 @functools.wraps(func)
134 def start(*args, **kwargs):
135 cr = func(*args, **kwargs)
143 def printer_sink(format = "%s"):
145 >>> pr = printer_sink("%r")
152 >>> p = printer_sink()
157 >>> # p.throw(RuntimeError, "Goodbye")
163 print format % (item, )
169 Good for uses like with cochain to pick up any slack
176 def comap(function, target):
178 >>> p = printer_sink()
179 >>> cm = comap(lambda x: x+1, p)
190 mappedItem = function(*item)
191 target.send(mappedItem)
192 except StandardError, e:
193 target.throw(e.__class__, e.message)
196 def _flush_queue(queue):
197 while not queue.empty():
202 def queue_sink(queue):
204 >>> q = Queue.Queue()
205 >>> qs = queue_sink(q)
208 >>> qs.throw(RuntimeError, "Goodbye")
211 >>> print [i for i in _flush_queue(q)]
212 [(None, 'Hello'), (None, 'World'), (<type 'exceptions.RuntimeError'>, 'Goodbye'), (None, 'Meh'), (<type 'exceptions.GeneratorExit'>, None)]
217 queue.put((None, item))
218 except StandardError, e:
219 queue.put((e.__class__, str(e)))
220 except GeneratorExit:
221 queue.put((GeneratorExit, None))
225 def decode_item(item, target):
229 elif item[0] is GeneratorExit:
233 target.throw(item[0], item[1])
237 def nonqueue_source(queue, target):
241 isDone = decode_item(item, target)
242 while not queue.empty():
246 def threaded_stage(target, thread_factory = threading.Thread):
247 messages = Queue.Queue()
249 run_source = functools.partial(nonqueue_source, messages, target)
250 thread = thread_factory(target=run_source)
251 thread.setDaemon(True)
254 # Sink running in current thread
255 return queue_sink(messages)
258 class LoginWindow(object):
260 def __init__(self, widgetTree):
262 @note Thread agnostic
264 self._dialog = widgetTree.get_widget("loginDialog")
265 self._parentWindow = widgetTree.get_widget("mainWindow")
266 self._serviceCombo = widgetTree.get_widget("serviceCombo")
267 self._usernameEntry = widgetTree.get_widget("usernameentry")
268 self._passwordEntry = widgetTree.get_widget("passwordentry")
270 self._serviceList = gtk.ListStore(gobject.TYPE_INT, gobject.TYPE_STRING)
271 self._serviceCombo.set_model(self._serviceList)
272 cell = gtk.CellRendererText()
273 self._serviceCombo.pack_start(cell, True)
274 self._serviceCombo.add_attribute(cell, 'text', 1)
275 self._serviceCombo.set_active(0)
278 "on_loginbutton_clicked": self._on_loginbutton_clicked,
279 "on_loginclose_clicked": self._on_loginclose_clicked,
281 widgetTree.signal_autoconnect(callbackMapping)
283 def request_credentials(self, parentWindow = None):
287 if parentWindow is None:
288 parentWindow = self._parentWindow
290 self._serviceCombo.hide()
291 self._serviceList.clear()
294 self._dialog.set_transient_for(parentWindow)
295 self._dialog.set_default_response(gtk.RESPONSE_OK)
296 response = self._dialog.run()
297 if response != gtk.RESPONSE_OK:
298 raise RuntimeError("Login Cancelled")
300 username = self._usernameEntry.get_text()
301 password = self._passwordEntry.get_text()
302 self._passwordEntry.set_text("")
306 return username, password
308 def request_credentials_from(self,
311 defaultCredentials = ("", "")
316 if parentWindow is None:
317 parentWindow = self._parentWindow
319 self._serviceList.clear()
320 for serviceIdserviceName in services:
321 self._serviceList.append(serviceIdserviceName)
322 self._serviceCombo.set_active(0)
323 self._serviceCombo.show()
325 self._usernameEntry.set_text(defaultCredentials[0])
326 self._passwordEntry.set_text(defaultCredentials[1])
329 self._dialog.set_transient_for(parentWindow)
330 self._dialog.set_default_response(gtk.RESPONSE_OK)
331 response = self._dialog.run()
332 if response != gtk.RESPONSE_OK:
333 raise RuntimeError("Login Cancelled")
335 username = self._usernameEntry.get_text()
336 password = self._passwordEntry.get_text()
340 itr = self._serviceCombo.get_active_iter()
341 serviceId = int(self._serviceList.get_value(itr, 0))
342 self._serviceList.clear()
343 return serviceId, username, password
345 def _on_loginbutton_clicked(self, *args):
346 self._dialog.response(gtk.RESPONSE_OK)
348 def _on_loginclose_clicked(self, *args):
349 self._dialog.response(gtk.RESPONSE_CANCEL)
352 def safecall(f, errorDisplay=None, default=None, exception=Exception):
354 Returns modified f. When the modified f is called and throws an
355 exception, the default value is returned
357 def _safecall(*args, **argv):
359 return f(*args,**argv)
361 if errorDisplay is not None:
362 errorDisplay.push_exception(e)
367 class ErrorDisplay(object):
369 def __init__(self, widgetTree):
370 super(ErrorDisplay, self).__init__()
371 self.__errorBox = widgetTree.get_widget("errorEventBox")
372 self.__errorDescription = widgetTree.get_widget("errorDescription")
373 self.__errorClose = widgetTree.get_widget("errorClose")
374 self.__parentBox = self.__errorBox.get_parent()
376 self.__errorBox.connect("button_release_event", self._on_close)
379 self.__parentBox.remove(self.__errorBox)
381 def push_message_with_lock(self, message):
383 self.push_message(message)
385 def push_message(self, message):
386 if 0 < len(self.__messages):
387 self.__messages.append(message)
389 self.__show_message(message)
391 def push_exception_with_lock(self, exception = None, stacklevel=3):
393 self.push_exception(exception, stacklevel=stacklevel)
395 def push_exception(self, exception = None, stacklevel=2):
396 if exception is None:
397 userMessage = str(sys.exc_value)
398 warningMessage = str(traceback.format_exc())
400 userMessage = str(exception)
401 warningMessage = str(exception)
402 self.push_message(userMessage)
403 warnings.warn(warningMessage, stacklevel=stacklevel)
405 def pop_message(self):
406 if 0 < len(self.__messages):
407 self.__show_message(self.__messages[0])
408 del self.__messages[0]
410 self.__hide_message()
412 def _on_close(self, *args):
415 def __show_message(self, message):
416 self.__errorDescription.set_text(message)
417 self.__parentBox.pack_start(self.__errorBox, False, False)
418 self.__parentBox.reorder_child(self.__errorBox, 1)
420 def __hide_message(self):
421 self.__errorDescription.set_text("")
422 self.__parentBox.remove(self.__errorBox)
425 class DummyErrorDisplay(object):
428 super(DummyErrorDisplay, self).__init__()
432 def push_message_with_lock(self, message):
433 self.push_message(message)
435 def push_message(self, message):
436 if 0 < len(self.__messages):
437 self.__messages.append(message)
439 self.__show_message(message)
441 def push_exception(self, exception = None):
442 if exception is None:
443 warningMessage = traceback.format_exc()
445 warningMessage = exception
446 warnings.warn(warningMessage, stacklevel=3)
448 def pop_message(self):
449 if 0 < len(self.__messages):
450 self.__show_message(self.__messages[0])
451 del self.__messages[0]
453 def __show_message(self, message):
454 warnings.warn(message, stacklevel=2)
457 class MessageBox(gtk.MessageDialog):
459 def __init__(self, message):
461 gtk.MessageDialog.__init__(
464 gtk.DIALOG_MODAL|gtk.DIALOG_DESTROY_WITH_PARENT,
469 self.set_default_response(gtk.RESPONSE_OK)
470 self.connect('response', self._handle_clicked)
472 def _handle_clicked(self, *args):
476 class MessageBox2(gtk.MessageDialog):
478 def __init__(self, message):
480 gtk.MessageDialog.__init__(
483 gtk.DIALOG_DESTROY_WITH_PARENT,
488 self.set_default_response(gtk.RESPONSE_OK)
489 self.connect('response', self._handle_clicked)
491 def _handle_clicked(self, *args):
495 class PopupCalendar(object):
497 def __init__(self, parent, displayDate, title = ""):
498 self._displayDate = displayDate
500 self._calendar = gtk.Calendar()
501 self._calendar.select_month(self._displayDate.month, self._displayDate.year)
502 self._calendar.select_day(self._displayDate.day)
503 self._calendar.set_display_options(
504 gtk.CALENDAR_SHOW_HEADING |
505 gtk.CALENDAR_SHOW_DAY_NAMES |
506 gtk.CALENDAR_NO_MONTH_CHANGE |
509 self._calendar.connect("day-selected", self._on_day_selected)
511 self._popupWindow = gtk.Window()
512 self._popupWindow.set_title(title)
513 self._popupWindow.add(self._calendar)
514 self._popupWindow.set_transient_for(parent)
515 self._popupWindow.set_modal(True)
516 self._popupWindow.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DIALOG)
517 self._popupWindow.set_skip_pager_hint(True)
518 self._popupWindow.set_skip_taskbar_hint(True)
521 self._popupWindow.show_all()
523 def _on_day_selected(self, *args):
525 self._calendar.select_month(self._displayDate.month, self._displayDate.year)
526 self._calendar.select_day(self._displayDate.day)
527 except StandardError, e:
528 warnings.warn(e.message)
531 class QuickAddView(object):
533 def __init__(self, widgetTree, errorDisplay, signalSink, prefix):
534 self._errorDisplay = errorDisplay
536 self._signalSink = signalSink
538 self._clipboard = gtk.clipboard_get()
540 self._taskNameEntry = widgetTree.get_widget(prefix+"-nameEntry")
541 self._addTaskButton = widgetTree.get_widget(prefix+"-addButton")
542 self._pasteTaskNameButton = widgetTree.get_widget(prefix+"-pasteNameButton")
543 self._clearTaskNameButton = widgetTree.get_widget(prefix+"-clearNameButton")
545 self._onAddClickedId = None
546 self._onAddReleasedId = None
547 self._addToEditTimerId = None
548 self._onClearId = None
549 self._onPasteId = None
551 def enable(self, manager):
552 self._manager = manager
554 self._onAddId = self._addTaskButton.connect("clicked", self._on_add)
555 self._onAddClickedId = self._addTaskButton.connect("pressed", self._on_add_pressed)
556 self._onAddReleasedId = self._addTaskButton.connect("released", self._on_add_released)
557 self._onPasteId = self._pasteTaskNameButton.connect("clicked", self._on_paste)
558 self._onClearId = self._clearTaskNameButton.connect("clicked", self._on_clear)
563 self._addTaskButton.disconnect(self._onAddId)
564 self._addTaskButton.disconnect(self._onAddClickedId)
565 self._addTaskButton.disconnect(self._onAddReleasedId)
566 self._pasteTaskNameButton.disconnect(self._onPasteId)
567 self._clearTaskNameButton.disconnect(self._onClearId)
569 def set_addability(self, addability):
570 self._addTaskButton.set_sensitive(addability)
572 def _on_add(self, *args):
574 name = self._taskNameEntry.get_text()
575 self._taskNameEntry.set_text("")
577 self._signalSink.stage.send(("add", name))
578 except StandardError, e:
579 self._errorDisplay.push_exception()
581 def _on_add_edit(self, *args):
583 name = self._taskNameEntry.get_text()
584 self._taskNameEntry.set_text("")
586 self._signalSink.stage.send(("add-edit", name))
587 except StandardError, e:
588 self._errorDisplay.push_exception()
590 def _on_add_pressed(self, widget):
592 self._addToEditTimerId = gobject.timeout_add(1000, self._on_add_edit)
593 except StandardError, e:
594 self._errorDisplay.push_exception()
596 def _on_add_released(self, widget):
598 if self._addToEditTimerId is not None:
599 gobject.source_remove(self._addToEditTimerId)
600 self._addToEditTimerId = None
601 except StandardError, e:
602 self._errorDisplay.push_exception()
604 def _on_paste(self, *args):
606 entry = self._taskNameEntry.get_text()
607 addedText = self._clipboard.wait_for_text()
610 self._taskNameEntry.set_text(entry)
611 except StandardError, e:
612 self._errorDisplay.push_exception()
614 def _on_clear(self, *args):
616 self._taskNameEntry.set_text("")
617 except StandardError, e:
618 self._errorDisplay.push_exception()
621 class TapOrHold(object):
623 def __init__(self, widget):
624 self._widget = widget
626 self._isPointerInside = True
627 self._holdTimeoutId = None
628 self._tapTimeoutId = None
637 self._bpeId = self._widget.connect("button-press-event", self._on_button_press)
638 self._breId = self._widget.connect("button-release-event", self._on_button_release)
639 self._eneId = self._widget.connect("enter-notify-event", self._on_enter)
640 self._lneId = self._widget.connect("leave-notify-event", self._on_leave)
643 self._widget.disconnect(self._bpeId)
644 self._widget.disconnect(self._breId)
645 self._widget.disconnect(self._eneId)
646 self._widget.disconnect(self._lneId)
648 def on_tap(self, taps):
651 def on_hold(self, taps):
654 def on_holding(self):
660 def _on_button_press(self, *args):
661 # Hack to handle weird notebook behavior
662 self._isPointerInside = True
665 if self._tapTimeoutId is not None:
666 gobject.source_remove(self._tapTimeoutId)
667 self._tapTimeoutId = None
670 if self._holdTimeoutId is None:
671 self._tapTimeoutId = None
674 self._holdTimeoutId = gobject.timeout_add(1000, self._on_hold_timeout)
678 def _on_button_release(self, *args):
679 assert self._tapTimeoutId is None
680 # Handle release after timeout if user hasn't double-clicked
681 self._tapTimeoutId = gobject.timeout_add(100, self._on_tap_timeout)
683 def _on_actual_press(self, *args):
684 if self._holdTimeoutId is not None:
685 gobject.source_remove(self._holdTimeoutId)
686 self._holdTimeoutId = None
688 if self._isPointerInside:
690 self.on_tap(self._taps)
692 self.on_hold(self._taps)
696 def _on_tap_timeout(self, *args):
697 self._tapTimeoutId = None
698 self._on_actual_press()
701 def _on_hold_timeout(self, *args):
702 self._holdTimeoutId = None
707 def _on_enter(self, *args):
708 self._isPointerInside = True
710 def _on_leave(self, *args):
711 self._isPointerInside = False
714 if __name__ == "__main__":
717 cal = PopupCalendar(None, datetime.datetime.now())
718 cal._popupWindow.connect("destroy", lambda w: gtk.main_quit())