/usr/lib/python3/dist-packages/setoolsgui/widget.py is in python3-setoolsgui 4.0.1-6.
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 | # Copyright 2015, Tresys Technology, LLC
#
# This file is part of SETools.
#
# SETools is free software: you can redistribute it and/or modify
# it under the terms of the GNU Lesser General Public License as
# published by the Free Software Foundation, either version 2.1 of
# the License, or (at your option) any later version.
#
# SETools 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 Lesser General Public License for more details.
#
# You should have received a copy of the GNU Lesser General Public
# License along with SETools. If not, see
# <http://www.gnu.org/licenses/>.
#
import sys
from errno import ENOENT
from PyQt5.uic import loadUi
# Stylesheet that adds a frame around QGroupBoxes
stylesheet = "\
QGroupBox {\
border: 1px solid lightgrey;\
margin-top: 0.5em;\
}\
\
QGroupBox::title {\
subcontrol-origin: margin;\
left: 10px;\
padding: 0 3px 0 3px;\
}\
"
class SEToolsWidget(object):
def load_ui(self, filename):
# If we are in the git repo, look at the local
# UI file, otherwise look at the installed file.
for path in ["data/", sys.prefix + "/share/setools/"]:
try:
loadUi(path + filename, self)
break
except (IOError, OSError) as err:
if err.errno != ENOENT:
raise
else:
raise RuntimeError("Unable to load Qt UI file \"{0}\"".format(filename))
self.setStyleSheet(stylesheet)
|