Stubbed in the text finder overlay for implementation at a later time.

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)
 

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))