Show
Ignore:
Timestamp:
12/21/07 13:53:05 (13 months ago)
Author:
fdb
Message:

Border around main window

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • nodebox/branches/try-qt/nodebox/gui/qt/__init__.py

    r284 r285  
    178178        PythonHighlighter(self.codeView.document()) 
    179179        self.outputView = QTextEdit() 
    180         self.outputView.setMinimumSize(300, 300) 
     180        self.outputView.setMinimumSize(300, 0) 
    181181        self.outputView.setFontFamily(codeFont.defaultFamily()) 
    182182        self.outputView.setCurrentFont(codeFont) 
     
    192192        self.view_edit.addWidget(self.graphicsScroll) 
    193193        self.view_edit.addWidget(self.code_errors) 
     194        self.view_edit.setObjectName("view_edit") 
     195        self.view_edit.setStyleSheet("QSplitter#view_edit { margin: 10px 10px 20px 10px; border: 0 }") 
    194196        l = QGridLayout() 
    195197        l.setHorizontalSpacing(10)