/usr/lib/python3/dist-packages/setoolsgui/details.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 55 56 57 58 59 60 61 62 63 64 | # Copyright 2016, 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 logging
from PyQt5.QtGui import QFont, QTextCursor
from PyQt5.QtWidgets import QDialog
from .widget import SEToolsWidget
class DetailsPopup(SEToolsWidget, QDialog):
"""A generic non-modal popup with a text field to write detailed info."""
# TODO: make the font changes relative
# instead of setting absolute values
def __init__(self, parent, title=None):
super(DetailsPopup, self).__init__(parent)
self.log = logging.getLogger(__name__)
self.setupUi(title)
def setupUi(self, title):
self.load_ui("detail_popup.ui")
if title:
self.title = title
@property
def title(self):
self.windowTitle(self)
@title.setter
def title(self, text):
self.setWindowTitle(text)
def append(self, text):
self.contents.setFontWeight(QFont.Normal)
self.contents.setFontPointSize(9)
self.contents.append(text)
def append_header(self, text):
self.contents.setFontWeight(QFont.Black)
self.contents.setFontPointSize(11)
self.contents.append(text)
def show(self):
self.contents.moveCursor(QTextCursor.Start)
super(DetailsPopup, self).show()
|