def __init__(self, core, textviews):
super(StringsTextView,self).__init__(False, 1)
#################################################################
# Right Textview
#################################################################
self.uicore = core
self.textviews = textviews
self.press_coords = []
# Use GtkSourceView to add eye candy :P
# create buffer
lm = gtksourceview2.LanguageManager()
# Add ui dir to language paths
paths = lm.get_search_path()
paths.append(os.path.dirname(__file__) + os.sep + 'data' + os.sep)
lm.set_search_path(paths)
self.buffer = gtksourceview2.Buffer()
self.buffer.create_tag("green-background", background="green", foreground="black")
self.buffer.set_data('languages-manager', lm)
self.view = gtksourceview2.View(self.buffer)
self.view.connect("button-press-event", self._get_press)
self.view.connect("button-release-event", self._get_release)
# FIXME options must be user selectable (statusbar)
self.view.set_editable(False)
self.view.set_highlight_current_line(True)
# posible values: gtk.WRAP_NONE, gtk.WRAP_CHAR, gtk.WRAP_WORD...
self.view.set_wrap_mode(gtk.WRAP_NONE)
# setup view
font_desc = pango.FontDescription('monospace 9')
if font_desc:
self.view.modify_font(font_desc)
self.buffer.set_highlight_syntax(True)
manager = self.buffer.get_data('languages-manager')
language = manager.get_language('asm')
self.buffer.set_language(language)
self.mgr = gtksourceview2.style_scheme_manager_get_default()
# Scrolled Window
self.strings_scrolled_window = gtk.ScrolledWindow()
self.strings_scrolled_window.set_shadow_type(gtk.SHADOW_ETCHED_IN)
self.strings_scrolled_window.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC)
self.strings_scrolled_window.show()
# Add Textview to Scrolled Window
self.strings_scrolled_window.add(self.view)
self.pack_start(self.strings_scrolled_window, expand=True, fill=True)
# Create the search widget
Searchable.__init__(self, self.view, small=True)
# Used for code navidation on _search function
self.match_start = None
self.match_end = None
self.search_string = ''
def __init__(self, core, textviews):
super(ReprTextView, self).__init__(False, 1)
#################################################################
# Right Textview
#################################################################
self.uicore = core
self.textviews = textviews
# Use GtkSourceView to add eye candy :P
# create buffer
lm = gtksourceview2.LanguageManager()
# Add ui dir to language paths
paths = lm.get_search_path()
paths.append(os.path.dirname(__file__) + os.sep + 'data' + os.sep)
lm.set_search_path(paths)
self.buffer = gtksourceview2.Buffer()
self.buffer.create_tag("green-background",
background="green",
foreground="black")
self.buffer.set_data('languages-manager', lm)
self.view = gtksourceview2.View(self.buffer)
# FIXME options must be user selectable (statusbar)
self.view.set_editable(False)
self.view.set_highlight_current_line(True)
# posible values: gtk.WRAP_NONE, gtk.WRAP_CHAR, gtk.WRAP_WORD...
self.view.set_wrap_mode(gtk.WRAP_WORD)
# setup view
font_desc = pango.FontDescription('monospace 9')
if font_desc:
self.view.modify_font(font_desc)
self.buffer.set_highlight_syntax(False)
manager = self.buffer.get_data('languages-manager')
language = manager.get_language('asm')
self.buffer.set_language(language)
self.mgr = gtksourceview2.style_scheme_manager_get_default()
# Scrolled Window
self.repr_scrolled_window = gtk.ScrolledWindow()
self.repr_scrolled_window.set_shadow_type(gtk.SHADOW_ETCHED_IN)
self.repr_scrolled_window.set_policy(gtk.POLICY_AUTOMATIC,
gtk.POLICY_AUTOMATIC)
self.repr_scrolled_window.show()
# Add Textview to Scrolled Window
self.repr_scrolled_window.add(self.view)
self.pack_start(self.repr_scrolled_window, expand=True, fill=True)
# Create the search widget
Searchable.__init__(self, self.view, small=True)
# Used for code navidation on _search function
self.match_start = None
self.match_end = None
self.search_string = ''
def __init__(self, core, textviews, main):
super(RightTextView,self).__init__(False, 1)
#################################################################
# Right Textview
#################################################################
self.uicore = core
self.main = main
self.textviews = textviews
self.seek_index = 0
self.seeks = []
self.marks = []
self.press_coords = []
#################################################
# Move buttons
self.move_buttons = self.create_seek_buttons()
self.pack_start(self.move_buttons, False, False, 1)
self.hbox = gtk.HBox(False, 0)
# Use GtkSourceView to add eye candy :P
# create buffer
lm = gtksourceview2.LanguageManager()
# Add ui dir to language paths
paths = lm.get_search_path()
paths.append(os.path.dirname(__file__) + os.sep + 'data' + os.sep)
lm.set_search_path(paths)
self.buffer = gtksourceview2.Buffer()
self.buffer.set_data('languages-manager', lm)
self.view = gtksourceview2.View(self.buffer)
self.view.connect("button-press-event", self._get_press)
self.view.connect("button-release-event", self._get_release)
self.view.connect("key-release-event", self._cursor_moved)
tooltip_handle = self.view.connect('motion-notify-event', self.call_tooltip)
# FIXME options must be user selectable (statusbar)
self.view.set_editable(False)
self.view.set_highlight_current_line(True)
# posible values: gtk.WRAP_NONE, gtk.WRAP_CHAR, gtk.WRAP_WORD...
self.view.set_wrap_mode(gtk.WRAP_NONE)
# setup view
font_desc = pango.FontDescription('monospace 9')
if font_desc:
self.view.modify_font(font_desc)
self.buffer.set_highlight_syntax(True)
manager = self.buffer.get_data('languages-manager')
if "ARM" in self.uicore.info.machine or "Thumb" in self.uicore.info.machine:
language = manager.get_language('arm-asm')
else:
language = manager.get_language('asm')
self.buffer.set_language(language)
self.mgr = gtksourceview2.style_scheme_manager_get_default()
# Scrolled Window
self.right_scrolled_window = gtk.ScrolledWindow()
self.right_scrolled_window.set_shadow_type(gtk.SHADOW_ETCHED_IN)
self.right_scrolled_window.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC)
self.right_scrolled_window.show()
# Add Textview to Scrolled Window
self.right_scrolled_window.add(self.view)
self.hbox.pack_start(self.right_scrolled_window, expand=True, fill=True)
self.pack_start(self.hbox, expand=True, fill=True)
# Create the search widget
Searchable.__init__(self, self.view, small=True)
self.high_word = HighWord(self.view)
# Used for code navigation on _search function
self.match_start = None
self.match_end = None
self.search_string = ''
self.view.connect("populate-popup", self._populate_comments_menu)
def __init__(self, main):
super(RightTextView, self).__init__(False, 1)
#################################################################
# Right Textview
#################################################################
self.main = main
self.uicore = self.main.uicore
self.seek_index = 0
self.seeks = []
self.marks = []
self.press_coords = []
#################################################
# Move buttons
self.move_buttons = self.create_seek_buttons()
self.pack_start(self.move_buttons, False, False, 1)
self.hbox = Gtk.HBox(False, 0)
self.buffer = GtkSource.Buffer()
self.view = GtkSource.View.new_with_buffer(self.buffer)
self.view.connect("button-press-event", self._get_press)
self.view.connect("button-release-event", self._get_release)
self.view.connect("key-release-event", self._cursor_moved)
self.view.connect('motion-notify-event', self.call_tooltip)
# FIXME options must be user selectable (statusbar)
self.view.set_editable(False)
self.view.set_highlight_current_line(True)
# posible values: Gtk.WrapMode.NONE, Gtk.WrapMode.CHAR, Gtk.WrapMode.WORD...
self.view.set_wrap_mode(Gtk.WrapMode.NONE)
# setup view
font_desc = Pango.FontDescription('monospace 9')
if font_desc:
self.view.modify_font(font_desc)
self.buffer.set_highlight_syntax(True)
if "ARM" in self.uicore.info.machine or "Thumb" in self.uicore.info.machine:
language = self.main.lm.get_language('arm-asm')
else:
language = self.main.lm.get_language('asm')
self.buffer.set_language(language)
self.mgr = GtkSource.StyleSchemeManager.get_default()
# Scrolled Window
self.right_scrolled_window = Gtk.ScrolledWindow()
self.right_scrolled_window.set_shadow_type(Gtk.ShadowType.ETCHED_IN)
self.right_scrolled_window.set_policy(Gtk.PolicyType.AUTOMATIC,
Gtk.PolicyType.AUTOMATIC)
self.right_scrolled_window.show()
# Add Textview to Scrolled Window
self.right_scrolled_window.add(self.view)
self.hbox.pack_start(self.right_scrolled_window, True, True, 0)
self.pack_start(self.hbox, True, True, 0)
# Create the search widget
Searchable.__init__(self, self.view, small=True)
self.high_word = HighWord(self.view)
# Used for code navigation on _search function
self.match_start = None
self.match_end = None
self.search_string = ''
self.view.connect("populate-popup", self._populate_comments_menu)
def __init__(self, main):
super(RightTextView, self).__init__(False, 1)
#################################################################
# Right Textview
#################################################################
self.main = main
self.uicore = self.main.uicore
self.seek_index = 0
self.seeks = []
self.marks = []
self.press_coords = []
#################################################
# Move buttons
self.move_buttons = self.create_seek_buttons()
self.pack_start(self.move_buttons, False, False, 1)
self.hbox = Gtk.HBox(False, 0)
self.buffer = GtkSource.Buffer()
self.view = GtkSource.View.new_with_buffer(self.buffer)
self.view.connect("button-press-event", self._get_press)
self.view.connect("button-release-event", self._get_release)
self.view.connect("key-release-event", self._cursor_moved)
self.view.connect('motion-notify-event', self.call_tooltip)
# FIXME options must be user selectable (statusbar)
self.view.set_editable(False)
self.view.set_highlight_current_line(True)
# posible values: Gtk.WrapMode.NONE, Gtk.WrapMode.CHAR, Gtk.WrapMode.WORD...
self.view.set_wrap_mode(Gtk.WrapMode.NONE)
# setup view
font_desc = Pango.FontDescription('monospace 9')
if font_desc:
self.view.modify_font(font_desc)
self.buffer.set_highlight_syntax(True)
if "ARM" in self.uicore.info.machine or "Thumb" in self.uicore.info.machine:
language = self.main.lm.get_language('arm-asm')
else:
language = self.main.lm.get_language('asm')
self.buffer.set_language(language)
self.mgr = GtkSource.StyleSchemeManager.get_default()
# Scrolled Window
self.right_scrolled_window = Gtk.ScrolledWindow()
self.right_scrolled_window.set_shadow_type(Gtk.ShadowType.ETCHED_IN)
self.right_scrolled_window.set_policy(Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC)
self.right_scrolled_window.show()
# Add Textview to Scrolled Window
self.right_scrolled_window.add(self.view)
self.hbox.pack_start(self.right_scrolled_window, True, True, 0)
self.pack_start(self.hbox, True, True, 0)
# Create the search widget
Searchable.__init__(self, self.view, small=True)
self.high_word = HighWord(self.view)
# Used for code navigation on _search function
self.match_start = None
self.match_end = None
self.search_string = ''
self.view.connect("populate-popup", self._populate_comments_menu)