/usr/lib/gedit/plugins/latex/panelview.py is in gedit-latex-plugin 3.8.0-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 | # -*- coding: utf-8 -*-
# This file is part of the Gedit LaTeX Plugin
#
# Copyright (C) 2010 Michael Zeising
#
# This program is free software; you can redistribute it and/or modify it under
# the terms of the GNU General Public Licence as published by the Free Software
# Foundation; either version 2 of the Licence, or (at your option) any later
# version.
#
# This program 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 Licence for more
# details.
#
# You should have received a copy of the GNU General Public Licence along with
# this program; if not, write to the Free Software Foundation, Inc., 51 Franklin
# Street, Fifth Floor, Boston, MA 02110-1301, USA
from gi.repository import GObject, Gtk
class PanelView(Gtk.Bin, Gtk.Orientable):
"""
Base class for a View
"""
orientation = GObject.property(type=Gtk.Orientation, default=Gtk.Orientation.HORIZONTAL)
def __init__(self, context):
Gtk.Bin.__init__(self)
self._context = context
def _get_size(self, orientation):
minimum, maximum = 0, 0
child = self.get_child()
if child is not None and child.get_visible():
if orientation == Gtk.Orientation.HORIZONTAL:
minimum, maximum = child.get_preferred_width()
else:
minimum, maximum = child.get_preferred_height()
return minimum, maximum
def do_get_preferred_width(self):
return self._get_size(Gtk.Orientation.HORIZONTAL)
def do_get_preferred_height(self):
return self._get_size(Gtk.Orientation.VERTICAL)
def do_size_allocate(self, allocation):
Gtk.Bin.do_size_allocate(self, allocation)
child = self.get_child()
if child is not None and child.get_visible():
child.size_allocate(allocation)
# these should be overriden by subclasses
# a label string used for this view
def get_label(self):
raise NotImplementedError
# an icon for this view (Gtk.Image or a stock_id string)
def get_icon(self):
return None
# ex:ts=4:et:
|