2018-09-05 02:59:34 +02:00
|
|
|
# Copyright (C) 2003-2014 Yann Leboulanger <asterix AT lagaule.org>
|
|
|
|
# Copyright (C) 2005-2007 Nikos Kouremenos <kourem AT gmail.com>
|
|
|
|
# Copyright (C) 2006 Dimitur Kirov <dkirov AT gmail.com>
|
|
|
|
# Copyright (C) 2008-2009 Julien Pivotto <roidelapluie AT gmail.com>
|
|
|
|
#
|
|
|
|
# This file is part of Gajim.
|
|
|
|
#
|
|
|
|
# Gajim is free software; you can redistribute it and/or modify
|
|
|
|
# it under the terms of the GNU General Public License as published
|
|
|
|
# by the Free Software Foundation; version 3 only.
|
|
|
|
#
|
|
|
|
# Gajim is distributed in the hope that it will be useful,
|
|
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
# GNU General Public License for more details.
|
|
|
|
#
|
|
|
|
# You should have received a copy of the GNU General Public License
|
|
|
|
# along with Gajim. If not, see <http://www.gnu.org/licenses/>.
|
2005-10-29 16:51:47 +02:00
|
|
|
|
2009-11-25 12:39:05 +01:00
|
|
|
import gc
|
|
|
|
|
2012-12-23 16:23:43 +01:00
|
|
|
from gi.repository import Gtk
|
2013-07-29 18:35:49 +02:00
|
|
|
from gi.repository import GLib
|
2012-12-23 16:23:43 +01:00
|
|
|
from gi.repository import Pango
|
2009-11-25 12:39:05 +01:00
|
|
|
|
2017-08-13 13:18:56 +02:00
|
|
|
from gajim.common import app
|
2018-09-13 23:56:12 +02:00
|
|
|
from gajim.common.i18n import _
|
2017-06-13 23:58:06 +02:00
|
|
|
from gajim import gtkgui_helpers
|
2005-10-29 16:51:47 +02:00
|
|
|
|
2018-04-24 19:36:33 +02:00
|
|
|
if app.is_installed('GSPELL'):
|
2017-11-25 17:37:46 +01:00
|
|
|
from gi.repository import Gspell
|
|
|
|
|
|
|
|
|
2012-12-23 16:23:43 +01:00
|
|
|
class MessageTextView(Gtk.TextView):
|
2010-02-08 15:08:40 +01:00
|
|
|
"""
|
|
|
|
Class for the message textview (where user writes new messages) for
|
|
|
|
chat/groupchat windows
|
|
|
|
"""
|
|
|
|
UNDO_LIMIT = 20
|
2018-03-25 16:26:29 +02:00
|
|
|
PLACEHOLDER = _('Write a message…')
|
2010-02-08 15:08:40 +01:00
|
|
|
|
|
|
|
def __init__(self):
|
2017-07-18 00:53:50 +02:00
|
|
|
Gtk.TextView.__init__(self)
|
2010-02-08 15:08:40 +01:00
|
|
|
|
|
|
|
# set properties
|
2017-10-03 03:12:31 +02:00
|
|
|
self.set_border_width(3)
|
2010-02-08 15:08:40 +01:00
|
|
|
self.set_accepts_tab(True)
|
|
|
|
self.set_editable(True)
|
|
|
|
self.set_cursor_visible(True)
|
2012-12-23 16:23:43 +01:00
|
|
|
self.set_wrap_mode(Gtk.WrapMode.WORD_CHAR)
|
2010-02-08 15:08:40 +01:00
|
|
|
self.set_left_margin(2)
|
|
|
|
self.set_right_margin(2)
|
|
|
|
self.set_pixels_above_lines(2)
|
|
|
|
self.set_pixels_below_lines(2)
|
2018-03-01 22:47:01 +01:00
|
|
|
self.get_style_context().add_class('gajim-conversation-font')
|
2010-02-08 15:08:40 +01:00
|
|
|
|
|
|
|
# set undo list
|
|
|
|
self.undo_list = []
|
|
|
|
# needed to know if we undid something
|
|
|
|
self.undo_pressed = False
|
2017-10-19 11:26:22 +02:00
|
|
|
|
2010-02-08 15:08:40 +01:00
|
|
|
_buffer = self.get_buffer()
|
|
|
|
self.begin_tags = {}
|
|
|
|
self.end_tags = {}
|
|
|
|
self.color_tags = []
|
|
|
|
self.fonts_tags = []
|
|
|
|
self.other_tags = {}
|
2017-10-03 13:08:06 +02:00
|
|
|
self.placeholder_tag = _buffer.create_tag('placeholder')
|
|
|
|
self.placeholder_tag.set_property('foreground_rgba',
|
|
|
|
gtkgui_helpers.Color.GREY)
|
2010-02-08 15:08:40 +01:00
|
|
|
self.other_tags['bold'] = _buffer.create_tag('bold')
|
2012-12-23 16:23:43 +01:00
|
|
|
self.other_tags['bold'].set_property('weight', Pango.Weight.BOLD)
|
2010-02-08 15:08:40 +01:00
|
|
|
self.begin_tags['bold'] = '<strong>'
|
|
|
|
self.end_tags['bold'] = '</strong>'
|
|
|
|
self.other_tags['italic'] = _buffer.create_tag('italic')
|
2012-12-23 16:23:43 +01:00
|
|
|
self.other_tags['italic'].set_property('style', Pango.Style.ITALIC)
|
2010-02-08 15:08:40 +01:00
|
|
|
self.begin_tags['italic'] = '<em>'
|
|
|
|
self.end_tags['italic'] = '</em>'
|
|
|
|
self.other_tags['underline'] = _buffer.create_tag('underline')
|
2012-12-23 16:23:43 +01:00
|
|
|
self.other_tags['underline'].set_property('underline', Pango.Underline.SINGLE)
|
2010-02-08 15:08:40 +01:00
|
|
|
self.begin_tags['underline'] = '<span style="text-decoration: underline;">'
|
|
|
|
self.end_tags['underline'] = '</span>'
|
|
|
|
self.other_tags['strike'] = _buffer.create_tag('strike')
|
|
|
|
self.other_tags['strike'].set_property('strikethrough', True)
|
|
|
|
self.begin_tags['strike'] = '<span style="text-decoration: line-through;">'
|
|
|
|
self.end_tags['strike'] = '</span>'
|
|
|
|
|
2018-03-25 01:39:16 +01:00
|
|
|
self.connect('paste-clipboard', self._paste_clipboard)
|
|
|
|
self.connect_after('paste-clipboard', self._after_paste_clipboard)
|
2017-10-03 13:08:06 +02:00
|
|
|
self.connect('focus-in-event', self._on_focus_in)
|
|
|
|
self.connect('focus-out-event', self._on_focus_out)
|
|
|
|
|
|
|
|
start, end = _buffer.get_bounds()
|
|
|
|
_buffer.insert_with_tags(
|
|
|
|
start, self.PLACEHOLDER, self.placeholder_tag)
|
|
|
|
|
2017-10-19 11:26:22 +02:00
|
|
|
def has_text(self):
|
2017-10-03 13:08:06 +02:00
|
|
|
buf = self.get_buffer()
|
|
|
|
start, end = buf.get_bounds()
|
|
|
|
text = buf.get_text(start, end, True)
|
2017-12-15 23:00:15 +01:00
|
|
|
return text != self.PLACEHOLDER and text != ''
|
|
|
|
|
2017-12-22 20:55:00 +01:00
|
|
|
def get_text(self):
|
|
|
|
# gets the text if its not PLACEHOLDER
|
|
|
|
buf = self.get_buffer()
|
|
|
|
start, end = buf.get_bounds()
|
|
|
|
text = self.get_buffer().get_text(start, end, True)
|
|
|
|
if text == self.PLACEHOLDER:
|
|
|
|
return ''
|
|
|
|
return text
|
|
|
|
|
2017-12-15 23:00:15 +01:00
|
|
|
def is_placeholder(self):
|
|
|
|
buf = self.get_buffer()
|
|
|
|
start, end = buf.get_bounds()
|
|
|
|
text = buf.get_text(start, end, True)
|
|
|
|
return text == self.PLACEHOLDER
|
2017-10-19 11:26:22 +02:00
|
|
|
|
|
|
|
def _on_focus_in(self, *args):
|
2017-12-15 23:00:15 +01:00
|
|
|
if self.is_placeholder():
|
2017-10-19 11:26:22 +02:00
|
|
|
self.get_buffer().set_text('')
|
2017-11-25 17:37:46 +01:00
|
|
|
self.toggle_speller(True)
|
2017-10-03 13:08:06 +02:00
|
|
|
|
|
|
|
def _on_focus_out(self, *args):
|
|
|
|
buf = self.get_buffer()
|
|
|
|
start, end = buf.get_bounds()
|
|
|
|
text = buf.get_text(start, end, True)
|
|
|
|
if text == '':
|
|
|
|
buf.insert_with_tags(
|
|
|
|
start, self.PLACEHOLDER, self.placeholder_tag)
|
2017-11-25 17:37:46 +01:00
|
|
|
self.toggle_speller(False)
|
|
|
|
|
|
|
|
def toggle_speller(self, activate):
|
2018-04-24 19:36:33 +02:00
|
|
|
if app.is_installed('GSPELL') and app.config.get('use_speller'):
|
2017-11-25 17:37:46 +01:00
|
|
|
spell_view = Gspell.TextView.get_from_gtk_text_view(self)
|
|
|
|
spell_view.set_inline_spell_checking(activate)
|
2017-10-03 13:08:06 +02:00
|
|
|
|
|
|
|
def remove_placeholder(self):
|
|
|
|
self._on_focus_in()
|
2017-07-18 00:53:50 +02:00
|
|
|
|
2018-03-25 01:39:16 +01:00
|
|
|
@staticmethod
|
|
|
|
def _paste_clipboard(textview):
|
|
|
|
if textview.is_placeholder():
|
|
|
|
textview.get_buffer().set_text('')
|
|
|
|
|
|
|
|
@staticmethod
|
|
|
|
def _after_paste_clipboard(textview):
|
2017-07-18 00:53:50 +02:00
|
|
|
buffer_ = textview.get_buffer()
|
|
|
|
mark = buffer_.get_insert()
|
|
|
|
iter_ = buffer_.get_iter_at_mark(mark)
|
|
|
|
if iter_.get_offset() == buffer_.get_end_iter().get_offset():
|
|
|
|
GLib.idle_add(gtkgui_helpers.scroll_to_end, textview.get_parent())
|
|
|
|
|
2010-02-08 15:08:40 +01:00
|
|
|
def make_clickable_urls(self, text):
|
|
|
|
_buffer = self.get_buffer()
|
|
|
|
|
|
|
|
start = 0
|
|
|
|
end = 0
|
|
|
|
index = 0
|
|
|
|
|
|
|
|
new_text = ''
|
2017-08-13 13:18:56 +02:00
|
|
|
iterator = app.interface.link_pattern_re.finditer(text)
|
2010-02-08 15:08:40 +01:00
|
|
|
for match in iterator:
|
|
|
|
start, end = match.span()
|
|
|
|
url = text[start:end]
|
|
|
|
if start != 0:
|
|
|
|
text_before_special_text = text[index:start]
|
|
|
|
else:
|
|
|
|
text_before_special_text = ''
|
|
|
|
# we insert normal text
|
|
|
|
new_text += text_before_special_text + \
|
|
|
|
'<a href="'+ url +'">' + url + '</a>'
|
|
|
|
|
|
|
|
index = end # update index
|
|
|
|
|
|
|
|
if end < len(text):
|
|
|
|
new_text += text[end:]
|
|
|
|
|
|
|
|
return new_text # the position after *last* special text
|
|
|
|
|
|
|
|
def get_active_tags(self):
|
|
|
|
start, finish = self.get_active_iters()
|
|
|
|
active_tags = []
|
|
|
|
for tag in start.get_tags():
|
|
|
|
active_tags.append(tag.get_property('name'))
|
|
|
|
return active_tags
|
|
|
|
|
|
|
|
def get_active_iters(self):
|
|
|
|
_buffer = self.get_buffer()
|
|
|
|
return_val = _buffer.get_selection_bounds()
|
|
|
|
if return_val: # if sth was selected
|
|
|
|
start, finish = return_val[0], return_val[1]
|
|
|
|
else:
|
|
|
|
start, finish = _buffer.get_bounds()
|
|
|
|
return (start, finish)
|
|
|
|
|
2016-12-23 19:01:32 +01:00
|
|
|
def set_tag(self, tag):
|
2010-02-08 15:08:40 +01:00
|
|
|
_buffer = self.get_buffer()
|
|
|
|
start, finish = self.get_active_iters()
|
|
|
|
if start.has_tag(self.other_tags[tag]):
|
|
|
|
_buffer.remove_tag_by_name(tag, start, finish)
|
|
|
|
else:
|
|
|
|
if tag == 'underline':
|
|
|
|
_buffer.remove_tag_by_name('strike', start, finish)
|
|
|
|
elif tag == 'strike':
|
|
|
|
_buffer.remove_tag_by_name('underline', start, finish)
|
|
|
|
_buffer.apply_tag_by_name(tag, start, finish)
|
|
|
|
|
2016-12-23 19:01:32 +01:00
|
|
|
def clear_tags(self):
|
2010-02-08 15:08:40 +01:00
|
|
|
_buffer = self.get_buffer()
|
|
|
|
start, finish = self.get_active_iters()
|
|
|
|
_buffer.remove_all_tags(start, finish)
|
|
|
|
|
2013-01-09 19:58:51 +01:00
|
|
|
def color_set(self, widget, response):
|
|
|
|
if response == -6 or response == -4:
|
2010-02-08 15:08:40 +01:00
|
|
|
widget.destroy()
|
|
|
|
return
|
2013-01-09 19:58:51 +01:00
|
|
|
|
|
|
|
color = widget.get_property('rgba')
|
2010-02-08 15:08:40 +01:00
|
|
|
widget.destroy()
|
2013-01-09 19:58:51 +01:00
|
|
|
_buffer = self.get_buffer()
|
|
|
|
# Create #aabbcc color string from rgba color
|
|
|
|
color_string = '#%02X%02X%02X' % (round(color.red*255),
|
|
|
|
round(color.green*255), round(color.blue*255))
|
|
|
|
|
2010-02-08 15:08:40 +01:00
|
|
|
tag_name = 'color' + color_string
|
|
|
|
if not tag_name in self.color_tags:
|
|
|
|
tagColor = _buffer.create_tag(tag_name)
|
|
|
|
tagColor.set_property('foreground', color_string)
|
2013-01-09 19:58:51 +01:00
|
|
|
self.begin_tags[tag_name] = '<span style="color: %s;">' % color_string
|
2010-02-08 15:08:40 +01:00
|
|
|
self.end_tags[tag_name] = '</span>'
|
|
|
|
self.color_tags.append(tag_name)
|
|
|
|
|
|
|
|
start, finish = self.get_active_iters()
|
|
|
|
|
|
|
|
for tag in self.color_tags:
|
|
|
|
_buffer.remove_tag_by_name(tag, start, finish)
|
|
|
|
|
|
|
|
_buffer.apply_tag_by_name(tag_name, start, finish)
|
|
|
|
|
2013-01-11 13:37:10 +01:00
|
|
|
def font_set(self, widget, response, start, finish):
|
2013-01-09 21:13:41 +01:00
|
|
|
if response == -6 or response == -4:
|
2010-02-08 15:08:40 +01:00
|
|
|
widget.destroy()
|
|
|
|
return
|
|
|
|
|
2013-01-09 21:13:41 +01:00
|
|
|
font = widget.get_font()
|
|
|
|
font_desc = widget.get_font_desc()
|
2010-02-08 15:08:40 +01:00
|
|
|
family = font_desc.get_family()
|
|
|
|
size = font_desc.get_size()
|
2012-12-23 16:23:43 +01:00
|
|
|
size = size / Pango.SCALE
|
2010-02-08 15:08:40 +01:00
|
|
|
weight = font_desc.get_weight()
|
|
|
|
style = font_desc.get_style()
|
|
|
|
|
|
|
|
widget.destroy()
|
|
|
|
|
2013-01-11 13:37:10 +01:00
|
|
|
_buffer = self.get_buffer()
|
|
|
|
|
2010-02-08 15:08:40 +01:00
|
|
|
tag_name = 'font' + font
|
|
|
|
if not tag_name in self.fonts_tags:
|
|
|
|
tagFont = _buffer.create_tag(tag_name)
|
|
|
|
tagFont.set_property('font', family + ' ' + str(size))
|
|
|
|
self.begin_tags[tag_name] = \
|
|
|
|
'<span style="font-family: ' + family + '; ' + \
|
|
|
|
'font-size: ' + str(size) + 'px">'
|
|
|
|
self.end_tags[tag_name] = '</span>'
|
|
|
|
self.fonts_tags.append(tag_name)
|
|
|
|
|
|
|
|
for tag in self.fonts_tags:
|
|
|
|
_buffer.remove_tag_by_name(tag, start, finish)
|
|
|
|
|
|
|
|
_buffer.apply_tag_by_name(tag_name, start, finish)
|
|
|
|
|
2012-12-23 16:23:43 +01:00
|
|
|
if weight == Pango.Weight.BOLD:
|
2010-02-08 15:08:40 +01:00
|
|
|
_buffer.apply_tag_by_name('bold', start, finish)
|
|
|
|
else:
|
|
|
|
_buffer.remove_tag_by_name('bold', start, finish)
|
|
|
|
|
2012-12-23 16:23:43 +01:00
|
|
|
if style == Pango.Style.ITALIC:
|
2010-02-08 15:08:40 +01:00
|
|
|
_buffer.apply_tag_by_name('italic', start, finish)
|
|
|
|
else:
|
|
|
|
_buffer.remove_tag_by_name('italic', start, finish)
|
|
|
|
|
|
|
|
def get_xhtml(self):
|
|
|
|
_buffer = self.get_buffer()
|
|
|
|
old = _buffer.get_start_iter()
|
|
|
|
tags = {}
|
|
|
|
tags['bold'] = False
|
2012-12-23 16:23:43 +01:00
|
|
|
iter_ = _buffer.get_start_iter()
|
2010-02-08 15:08:40 +01:00
|
|
|
old = _buffer.get_start_iter()
|
|
|
|
text = ''
|
|
|
|
modified = False
|
|
|
|
|
|
|
|
def xhtml_special(text):
|
|
|
|
text = text.replace('<', '<')
|
|
|
|
text = text.replace('>', '>')
|
|
|
|
text = text.replace('&', '&')
|
|
|
|
text = text.replace('\n', '<br />')
|
|
|
|
return text
|
|
|
|
|
2012-12-23 16:23:43 +01:00
|
|
|
for tag in iter_.get_toggled_tags(True):
|
2010-02-08 15:08:40 +01:00
|
|
|
tag_name = tag.get_property('name')
|
|
|
|
if tag_name not in self.begin_tags:
|
|
|
|
continue
|
|
|
|
text += self.begin_tags[tag_name]
|
|
|
|
modified = True
|
2012-12-23 16:23:43 +01:00
|
|
|
while (iter_.forward_to_tag_toggle(None) and not iter_.is_end()):
|
|
|
|
text += xhtml_special(_buffer.get_text(old, iter_, True))
|
2010-02-08 15:08:40 +01:00
|
|
|
old.forward_to_tag_toggle(None)
|
|
|
|
new_tags, old_tags, end_tags = [], [], []
|
2012-12-23 16:23:43 +01:00
|
|
|
for tag in iter_.get_toggled_tags(True):
|
2010-02-08 15:08:40 +01:00
|
|
|
tag_name = tag.get_property('name')
|
|
|
|
if tag_name not in self.begin_tags:
|
|
|
|
continue
|
|
|
|
new_tags.append(tag_name)
|
|
|
|
modified = True
|
|
|
|
|
2012-12-23 16:23:43 +01:00
|
|
|
for tag in iter_.get_tags():
|
2010-02-08 15:08:40 +01:00
|
|
|
tag_name = tag.get_property('name')
|
|
|
|
if tag_name not in self.begin_tags or tag_name not in self.end_tags:
|
|
|
|
continue
|
|
|
|
if tag_name not in new_tags:
|
|
|
|
old_tags.append(tag_name)
|
|
|
|
|
2012-12-23 16:23:43 +01:00
|
|
|
for tag in iter_.get_toggled_tags(False):
|
2010-02-08 15:08:40 +01:00
|
|
|
tag_name = tag.get_property('name')
|
|
|
|
if tag_name not in self.end_tags:
|
|
|
|
continue
|
|
|
|
end_tags.append(tag_name)
|
|
|
|
|
|
|
|
for tag in old_tags:
|
|
|
|
text += self.end_tags[tag]
|
|
|
|
for tag in end_tags:
|
|
|
|
text += self.end_tags[tag]
|
|
|
|
for tag in new_tags:
|
|
|
|
text += self.begin_tags[tag]
|
|
|
|
for tag in old_tags:
|
|
|
|
text += self.begin_tags[tag]
|
|
|
|
|
2012-12-23 16:23:43 +01:00
|
|
|
text += xhtml_special(_buffer.get_text(old, _buffer.get_end_iter(), True))
|
|
|
|
for tag in iter_.get_toggled_tags(False):
|
2010-02-08 15:08:40 +01:00
|
|
|
tag_name = tag.get_property('name')
|
|
|
|
if tag_name not in self.end_tags:
|
|
|
|
continue
|
|
|
|
text += self.end_tags[tag_name]
|
|
|
|
|
|
|
|
if modified:
|
|
|
|
return '<p>' + self.make_clickable_urls(text) + '</p>'
|
|
|
|
else:
|
|
|
|
return None
|
|
|
|
|
2018-08-15 23:58:02 +02:00
|
|
|
def replace_emojis(self):
|
|
|
|
theme = app.config.get('emoticons_theme')
|
|
|
|
if not theme or theme == 'font':
|
|
|
|
return
|
|
|
|
|
|
|
|
def replace(anchor):
|
|
|
|
if anchor is None:
|
|
|
|
return
|
|
|
|
image = anchor.get_widgets()[0]
|
|
|
|
if hasattr(image, 'codepoint'):
|
|
|
|
# found emoji
|
|
|
|
self.replace_char_at_iter(iter_, image.codepoint)
|
|
|
|
image.destroy()
|
|
|
|
|
|
|
|
iter_ = self.get_buffer().get_start_iter()
|
|
|
|
replace(iter_.get_child_anchor())
|
|
|
|
|
|
|
|
while iter_.forward_char():
|
|
|
|
replace(iter_.get_child_anchor())
|
|
|
|
|
|
|
|
def replace_char_at_iter(self, iter_, new_char):
|
|
|
|
buffer_ = self.get_buffer()
|
|
|
|
iter_2 = iter_.copy()
|
|
|
|
iter_2.forward_char()
|
|
|
|
buffer_.delete(iter_, iter_2)
|
|
|
|
buffer_.insert(iter_, new_char)
|
|
|
|
|
|
|
|
def insert_emoji(self, codepoint, pixbuf):
|
|
|
|
self.remove_placeholder()
|
|
|
|
buffer_ = self.get_buffer()
|
|
|
|
if buffer_.get_char_count():
|
|
|
|
# buffer contains text
|
|
|
|
buffer_.insert_at_cursor(' ')
|
|
|
|
|
|
|
|
insert_mark = buffer_.get_insert()
|
|
|
|
insert_iter = buffer_.get_iter_at_mark(insert_mark)
|
|
|
|
|
|
|
|
if pixbuf is None:
|
|
|
|
buffer_.insert(insert_iter, codepoint)
|
|
|
|
else:
|
|
|
|
anchor = buffer_.create_child_anchor(insert_iter)
|
|
|
|
image = Gtk.Image.new_from_pixbuf(pixbuf)
|
|
|
|
image.codepoint = codepoint
|
|
|
|
image.show()
|
|
|
|
self.add_child_at_anchor(image, anchor)
|
|
|
|
buffer_.insert_at_cursor(' ')
|
|
|
|
|
2010-02-08 15:08:40 +01:00
|
|
|
def destroy(self):
|
2013-07-29 18:35:49 +02:00
|
|
|
GLib.idle_add(gc.collect)
|
2010-02-08 15:08:40 +01:00
|
|
|
|
|
|
|
def clear(self, widget = None):
|
|
|
|
"""
|
|
|
|
Clear text in the textview
|
|
|
|
"""
|
|
|
|
_buffer = self.get_buffer()
|
|
|
|
start, end = _buffer.get_bounds()
|
|
|
|
_buffer.delete(start, end)
|
|
|
|
|
|
|
|
def save_undo(self, text):
|
|
|
|
self.undo_list.append(text)
|
|
|
|
if len(self.undo_list) > self.UNDO_LIMIT:
|
|
|
|
del self.undo_list[0]
|
|
|
|
self.undo_pressed = False
|
|
|
|
|
|
|
|
def undo(self, widget=None):
|
|
|
|
"""
|
|
|
|
Undo text in the textview
|
|
|
|
"""
|
|
|
|
_buffer = self.get_buffer()
|
|
|
|
if self.undo_list:
|
|
|
|
_buffer.set_text(self.undo_list.pop())
|
|
|
|
self.undo_pressed = True
|
2010-12-04 12:47:38 +01:00
|
|
|
|
2010-08-09 13:37:15 +02:00
|
|
|
def get_sensitive(self):
|
|
|
|
# get sensitive is not in GTK < 2.18
|
|
|
|
try:
|
2010-08-09 20:47:21 +02:00
|
|
|
return super(MessageTextView, self).get_sensitive()
|
2010-08-09 13:37:15 +02:00
|
|
|
except AttributeError:
|
|
|
|
return self.get_property('sensitive')
|