Sha256: 7111d71115b8a5a784f0569291c7797cf09017a082a8cded64a160405f06c1b5
Contents?: true
Size: 946 Bytes
Versions: 50
Compression:
Stored size: 946 Bytes
Contents
#!/usr/bin/python
import gtk
from sys import stdin
window = gtk.Window()
window.set_title("Shiltium Compiler Output")
window.set_default_size(613, 400)
window.move(100, 50)
text_view = gtk.TextView()
text_view.set_left_margin(10)
text_view.set_right_margin(10)
text_view.set_editable(False)
text_view.set_cursor_visible(False)
text_view.set_wrap_mode(gtk.WRAP_WORD)
buffer_ = text_view.get_buffer()
tag1 = buffer_.create_tag(pixels_above_lines = 10)
tag2 = buffer_.create_tag(font = "Monospace 10")
text = stdin.read()
lines = text.split("\n")
buffer_.insert_with_tags(buffer_.get_start_iter(), "\n".join(lines[1:]), tag2)
buffer_.insert_with_tags(buffer_.get_start_iter(), lines[0] + "\n", tag1)
scrolled_window = gtk.ScrolledWindow()
scrolled_window.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC)
scrolled_window.add(text_view)
window.add(scrolled_window)
window.connect("destroy", gtk.main_quit)
window.show_all()
gtk.main()
Version data entries
50 entries across 49 versions & 6 rubygems