Re: How would I change the text style in a gedit plugin?
- From: cecashon aol com
- To: allowthere zoho com, gtk-app-devel-list gnome org
- Subject: Re: How would I change the text style in a gedit plugin?
- Date: Sun, 26 Nov 2017 18:33:50 -0500
This is similar but just using GTK. You get the iters for the start and end of the range that you want to tag
and apply the tag to it.
Eric
import gi
gi.require_version('Gtk', '3.0')
from gi.repository import Gtk
class TextBox(Gtk.TextView):
def __init__(self):
Gtk.TextView.__init__(self)
textbuffer = self.get_buffer()
textbuffer.set_text("Some text to tag.\nAnother line to tag.")
start = textbuffer.get_start_iter()
end = textbuffer.get_end_iter()
tag = textbuffer.create_tag("blue_tag", background="blue", foreground="yellow")
textbuffer.apply_tag(tag, start, end)
class MainWindow(Gtk.Window):
def __init__(self):
Gtk.Window.__init__(self, title="Text Tag")
self.set_default_size(300, 100)
self.tb = TextBox()
self.tb.set_hexpand(True)
self.tb.set_vexpand(True)
self.grid = Gtk.Grid()
self.grid.attach(self.tb, 0, 0, 1, 1)
self.add(self.grid)
win = MainWindow()
win.connect("delete-event", Gtk.main_quit)
win.show_all()
Gtk.main()
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]