def __init__(self, context, monospace=True, **kwargs):
super(UnicodeRenderer, self).__init__(context, **kwargs)
self._buf = hotwidgets.BasicMarkupTextBuffer()
self.__text = gtk.TextView(self._buf)
if monospace:
self.__text.modify_font(pango.FontDescription("monospace"))
self.__text.connect('event-after', self.__on_event_after)
self._buf.connect('mark-set', self.__on_mark_set)
self.__term = None
self.__wrap_lines = True
self.__have_selection = False
self.__sync_wrap()
self.__text.set_editable(False)
self.__text.set_cursor_visible(False)
self.__text.unset_flags(gtk.CAN_FOCUS)
self.__empty = True
if sys.version_info[0] == 2 and sys.version_info[1] < 5:
# No incremental decoding in Python 2.4 =/
self.__locale_decoder = None
else:
(lcode, locale_encoding) = locale.getdefaultlocale()
if locale_encoding and locale_encoding.lower() == 'utf-8':
# This is the ideal, running on a UTF-8 system.
self.__locale_decoder = None
else:
if not locale_encoding:
_logger.debug("No locale set: using C locale")
locale_encoding = 'ascii'
_logger.debug("creating decoder for locale encoding %r",
locale_encoding)
self.__locale_decoder = codecs.getincrementaldecoder(
locale_encoding)()
# This is an optimization; we pass in a file descriptor from sys_builtin.py,
# and then poll it here for maximum efficiency.
self.__subproc_fd = None
self.__subproc_stream = None
self._buf.insert_markup("<i>(No output)</i>")
self.__search = InlineSearchArea(self.__text)
self.__inputarea = InputArea(self, self.__text)
#self.__inputarea.connect('object-input', self.__on_object_input)
self.__text.connect('populate-popup', self.__on_populate_popup)
self.__links = {} # internal hyperlinks
self.__support_links = False
self.__hovering_over_link = False
def __init__(self,
filename=None,
content=None,
title=None,
parent=None,
autosave=False):
gtk.Window.__init__(self, type=gtk.WINDOW_TOPLEVEL)
vbox = gtk.VBox()
self.add(vbox)
self.__ui_string = """
<ui>
<menubar name='Menubar'>
<menu action='FileMenu'>
<menuitem action='Save'/>
<menuitem action='SaveAs'/>
<separator/>
<menuitem action='ReadOnly'/>
<separator/>
<menuitem action='Revert'/>
<separator/>
<menuitem action='Close'/>
</menu>
<menu action='EditMenu'>
<menuitem action='Undo'/>
<menuitem action='Redo'/>
<separator/>
<menuitem action='Find'/>
<menuitem action='GotoLine'/>
</menu>
<menu action='ToolsMenu'>
<menuitem action='About'/>
</menu>
</menubar>
</ui>
"""
self.__create_ui()
vbox.pack_start(self._ui.get_widget('/Menubar'), expand=False)
self.__filename = os.path.abspath(filename)
self.__autosave = autosave
self.__modified = False
self.__last_len = 0
self.__save_text_id = 0
self.gtksourceview_mode = gtksourceview_avail
if gtksourceview_avail:
self.input = SourceBuffer()
self.input_view = SourceView(self.input)
if gtksourceview2_avail:
self.input.connect('notify::can-undo',
lambda *args: self.__sync_undoredo())
self.input.connect('notify::can-redo',
lambda *args: self.__sync_undoredo())
else:
self.input.connect('can-undo',
lambda *args: self.__sync_undoredo())
self.input.connect('can-redo',
lambda *args: self.__sync_undoredo())
else:
self.input = gtk.TextBuffer()
self.input_view = gtk.TextView(self.input)
self.input_view.set_wrap_mode(gtk.WRAP_WORD)
self.input_view.connect("key-press-event",
self.__handle_key_press_event)
scroll = gtk.ScrolledWindow()
scroll.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_ALWAYS)
scroll.add(self.input_view)
vbox.pack_start(scroll, True, True)
if filename and os.path.isfile(self.__filename):
_logger.debug("reading %s", self.__filename)
f = open_text_file(self.__filename, 'r')
self.__original_text = f.read()
else:
self.__original_text = content
if self.__original_text:
if gtksourceview_avail:
self.input.begin_not_undoable_action()
self.input.set_property('text', self.__original_text)
self.__last_len = self.input.get_char_count()
if gtksourceview_avail:
self.input.end_not_undoable_action()
self.input.move_mark_by_name('insert', self.input.get_start_iter())
self.input.move_mark_by_name('selection_bound',
self.input.get_start_iter())
self.input.connect('mark-set', self.__on_mark_set)
self.__searcharea = InlineSearchArea(self.input_view)
self.__searcharea.connect('close', self.__on_search_close)
self.__searcharea.show_all()
self.__searcharea.hide()
self.__searcharea.set_no_show_all(True)
vbox.pack_start(self.__searcharea, expand=False)
self.__status_hbox = gtk.HBox()
self.__statusbar = gtk.Statusbar()
self.__status_hbox.pack_start(self.__statusbar, expand=True)
self.__statusbar_ctx = self.__statusbar.get_context_id("HotEditor")
self.__pos_status = gtk.Statusbar()
self.__pos_status.set_size_request(160, 10) # Taken from GEdit
self.__pos_context = self.__pos_status.get_context_id("HotEditor")
self.__status_hbox.pack_start(self.__pos_status, expand=False)
vbox.pack_start(self.__status_hbox, expand=False)
self.__sync_undoredo()
self.__sync_modified_sensitivity()
self.input.connect("changed", self.__handle_text_changed)
self.connect("delete-event", self.__handle_delete_event)
self.__sync_title()
if parent:
self.set_transient_for(parent)
self.set_size_request(800, 600)
