upstream/ipython Files · IPython/zmq/log.py

create menu bar on OSX with some action...

create menu bar on OSX with some action console_widget: modifie/create some QAction to be able to put it in menu bar -made print_action and export_action public -transform increase/decrease/rest front_size to QAction -create qaction for undo/redo MainWindow Create the menubar with the following structure And link each menu with its action in console Widget File |__Print |__Save as XML |__Select ALL Edit |__Undo |__Redo Font |__Increase font size |__Decresae font size |__Restet Font size Window |__Minimize |__Maximize |__Full Screen Magic |__Reset |__History |__Export History |__Who |__Whos |__Who_ls Help |_Open online Help The 'Magic' Menu, execute %magic after 'exit_keyboard' and pasting '%magic'. The 'Export History' menu prompt the user for a file name and a range before pasting `%save filename range`. This this also fix a bug in toggle full screen where Full Screen -> (try to) Minimizing -> Out Of Full Screen is broken (grey background for all screen), at least on OSX

MinRK - - Load All Authors

File last commit:

r3603:600411fc


                r5027:3bceb23d

Download file

             log.py
        
                    23 lines
            
             | 687 B
            
                | text/x-python
            
             |
                PythonLexer
            
             / IPython / zmq / log.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      import logging

      from logging import INFO, DEBUG, WARN, ERROR, FATAL

      import zmq

      from zmq.log.handlers import PUBHandler

      class EnginePUBHandler(PUBHandler):

          """A simple PUBHandler subclass that sets root_topic"""

          engine=None

          def __init__(self, engine, *args, **kwargs):

              PUBHandler.__init__(self,*args, **kwargs)

              self.engine = engine

          @property

          def root_topic(self):

              """this is a property, in case the handler is created

              before the engine gets registered with an id"""

              if isinstance(getattr(self.engine, 'id', None), int):

                  return "engine.%i"%self.engine.id

              else:

                  return "engine"

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				import logging
				from logging import INFO, DEBUG, WARN, ERROR, FATAL

				import zmq
				from zmq.log.handlers import PUBHandler

				class EnginePUBHandler(PUBHandler):
				"""A simple PUBHandler subclass that sets root_topic"""
				engine=None

				def __init__(self, engine, args, *kwargs):
				PUBHandler.__init__(self,args, *kwargs)
				self.engine = engine

				@property
				def root_topic(self):
				"""this is a property, in case the handler is created
				before the engine gets registered with an id"""
				if isinstance(getattr(self.engine, 'id', None), int):
				return "engine.%i"%self.engine.id
				else:
				return "engine"