##// END OF EJS Templates
Introduce info/warning/danger to notification area...
Introduce info/warning/danger to notification area Add corresponding style. Should fix #5984 Error when (auto)saving and things along should stand out in the UI for the user to investigate the reason as soon as possible not to loose work later.

File last commit:

r5390:c82649ea
r17368:a2099a9f
Show More
inputhookgtk.py
35 lines | 1017 B | text/x-python | PythonLexer
# encoding: utf-8
"""
Enable pygtk to be used interacive by setting PyOS_InputHook.
Authors: Brian Granger
"""
#-----------------------------------------------------------------------------
# Copyright (C) 2008-2011 The IPython Development Team
#
# Distributed under the terms of the BSD License. The full license is in
# the file COPYING, distributed as part of this software.
#-----------------------------------------------------------------------------
#-----------------------------------------------------------------------------
# Imports
#-----------------------------------------------------------------------------
import sys
import gtk, gobject
#-----------------------------------------------------------------------------
# Code
#-----------------------------------------------------------------------------
def _main_quit(*args, **kwargs):
gtk.main_quit()
return False
def inputhook_gtk():
gobject.io_add_watch(sys.stdin, gobject.IO_IN, _main_quit)
gtk.main()
return 0