diff --git a/CodeEditor.py b/CodeEditor.py index 103c4f1..ee4fd57 100644 --- a/CodeEditor.py +++ b/CodeEditor.py @@ -3,6 +3,7 @@ import FreeCAD from PySide import QtCore from PySide.QtCore import QSize, QRect, Qt, QRegExp from PySide.QtGui import QPainter, QSyntaxHighlighter, QTextCharFormat, QFont, QColor, QTextCursor, QPlainTextEdit, QTextEdit, QWidget +from FinderOverlay import FinderOverlay class LineNumberArea(QWidget): def __init__(self, parent): @@ -36,6 +37,9 @@ class CodeEditor(QPlainTextEdit): else: self.hideLineNumberArea() + # self.overlay = FinderOverlay(self) + # self.overlay.hide() + self.initUI() def hideLineNumberArea(self): @@ -248,6 +252,11 @@ class CodeEditor(QPlainTextEdit): currBlock = currBlock.next() + # Open the text finder + if event.key() == Qt.Key_F and event.modifiers() == Qt.ControlModifier: + customKey = True + print("Opening finder...") + if not customKey: QPlainTextEdit.keyPressEvent(self, event) diff --git a/FinderOverlay.py b/FinderOverlay.py new file mode 100644 index 0000000..bfdacf7 --- /dev/null +++ b/FinderOverlay.py @@ -0,0 +1,35 @@ +from PySide.QtCore import Qt +from PySide.QtGui import QPainter, QWidget, QPalette, QBrush, QColor, QLabel, QGridLayout + +class FinderOverlay(QWidget): + def __init__(self, parent=None): + super(FinderOverlay, self).__init__(parent) + + self.initUI() + + def initUI(self): + # container = QWidget(self) + # container.resize(200, 100); + # container.setStyleSheet("background-color:black;") + + font_size = QLabel('Font Size') + + grid = QGridLayout() + grid.setContentsMargins(50, 10, 10, 10) + grid.addWidget(font_size, 0, 0) + self.setLayout(grid) + + # palette = QPalette(self.palette()) + # palette.setColor(self.backgroundRole(), Qt.black) + # palette.setColor(palette.Background, Qt.transparent) + + # self.setPalette(palette) + + # def paintEvent(self, event): + # painter = QPainter() + # painter.begin(self) + # # painter.setRenderHint(QPainter.Antialiasing) + # painter.fillRect(event.rect(), QBrush(QColor(255, 255, 255, 127))) + # painter.drawLine(self.width() / 8, self.height() / 8, 7 * self.width() / 8, 7 * self.height() / 8) + # painter.drawLine(self.width() / 8, 7 * self.height() / 8, 7 * self.width() / 8, self.height() / 8) + # # painter.setPen(QPen(Qt.NoPen)) \ No newline at end of file