def setup_application_widgets(self):
screen = Gdk.Screen.get_default()
width = screen.get_width()
height = screen.get_height()
self.terminal = TerminalUi()
fg_color = Gdk.Color.parse("#ffffff")[1]
bg_color = Gdk.Color.parse("#262626")[1]
self.terminal.set_colors(fg_color, bg_color, [])
self.terminal.set_margin_top(10)
self.terminal.set_margin_left(10)
self.terminal.set_margin_right(10)
self.spellbook = Spellbook()
self.story = Storybook(width / 2 - 40,
height - self.spellbook.HEIGHT - 2 * 44 - 10)
self.story.set_margin_top(10)
self.story.set_margin_left(10)
self.story.set_margin_right(10)
story_sw = ScrolledWindow()
story_sw.apply_styling_to_screen()
story_sw.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC)
story_sw.add(self.story)
left_background = Gtk.EventBox()
left_background.get_style_context().add_class("story_background")
right_background = Gtk.EventBox()
right_background.get_style_context().add_class("terminal_background")
vbox = Gtk.Box(orientation=Gtk.Orientation.VERTICAL)
self.add(vbox)
hbox = Gtk.Box()
vbox.pack_start(hbox, False, False, 0)
vbox.pack_start(self.spellbook, False, False, 0)
hbox.pack_start(left_background, False, False, 0)
hbox.pack_start(right_background, False, False, 0)
left_background.add(story_sw)
right_background.add(self.terminal)
# Allow for margin on bottom and top bar.
self.terminal.set_size_request(
width / 2 - 20, height - self.spellbook.HEIGHT - 2 * 44 - 20)
story_sw.set_size_request(width / 2 - 20,
height - self.spellbook.HEIGHT - 2 * 44 - 10)
self.run_server()
def __setup_application_widgets(self):
screen = Gdk.Screen.get_default()
self.__spellbook = Spellbook(is_caps_lock_on=self.__is_caps_lock_on)
width = screen.get_width()
height = screen.get_height()
terminal_width, terminal_height = width / 2 - 20, height - self.__spellbook.HEIGHT - 2 * 44 - 20
story_width, story_height = width / 2 - 20, height - self.__spellbook.HEIGHT - 2 * 44 - 10
self.__terminal = TerminalUi(terminal_width, terminal_height)
self.__story = Storybook(story_width, story_height)
self.hbox = Gtk.Box()
story_sw = ScrolledWindow()
story_sw.apply_styling_to_screen()
story_sw.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC)
story_sw.add(self.__story)
story_sw.set_size_request(story_width, story_height)
left_background = Gtk.EventBox()
left_background.get_style_context().add_class("story_background")
left_background.add(story_sw)
right_background = Gtk.EventBox()
right_background.get_style_context().add_class("terminal_background")
vbox = Gtk.Box(orientation=Gtk.Orientation.VERTICAL)
self.add(vbox)
vbox.pack_start(self.hbox, False, False, 0)
vbox.pack_start(self.__spellbook, False, False, 0)
self.hbox.pack_start(left_background, False, False, 0)
self.hbox.pack_start(right_background, False, False, 0)
right_background.add(self.__terminal)
def setup_application_widgets(self):
screen = Gdk.Screen.get_default()
width = screen.get_width()
height = screen.get_height()
self.terminal = TerminalUi()
fg_color = Gdk.Color.parse("#ffffff")[1]
bg_color = Gdk.Color.parse("#262626")[1]
self.terminal.set_colors(fg_color, bg_color, [])
self.terminal.set_margin_top(10)
self.terminal.set_margin_left(10)
self.terminal.set_margin_right(10)
# Set the terminal font size. There is
# probably a way of doing this with css to avoid hard coding
# But I have not found it yet.
font_desc = Pango.FontDescription()
font_desc.set_family("monospace")
font_desc.set_size(13*Pango.SCALE)
self.terminal.set_font(font_desc)
self.spellbook = Spellbook(is_caps_lock_on=self.is_caps_lock_on)
self.story = Storybook(
width / 2 - 40,
height - self.spellbook.HEIGHT - 2 * 44 - 10
)
self.story.set_margin_top(10)
self.story.set_margin_left(10)
self.story.set_margin_right(10)
story_sw = ScrolledWindow()
story_sw.apply_styling_to_screen()
story_sw.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC)
story_sw.add(self.story)
left_background = Gtk.EventBox()
left_background.get_style_context().add_class("story_background")
right_background = Gtk.EventBox()
right_background.get_style_context().add_class("terminal_background")
vbox = Gtk.Box(orientation=Gtk.Orientation.VERTICAL)
self.add(vbox)
self.hbox = Gtk.Box()
vbox.pack_start(self.hbox, False, False, 0)
vbox.pack_start(self.spellbook, False, False, 0)
self.hbox.pack_start(left_background, False, False, 0)
self.hbox.pack_start(right_background, False, False, 0)
left_background.add(story_sw)
right_background.add(self.terminal)
# Allow for margin on bottom and top bar.
self.terminal.set_size_request(
width / 2 - 20, height - self.spellbook.HEIGHT - 2 * 44 - 20
)
story_sw.set_size_request(
width / 2 - 20, height - self.spellbook.HEIGHT - 2 * 44 - 10
)
self.run_server()
