comparison: src/document.ui
src/document.ui
- changeset 21
- 0133e565e072
- parent 17
- a5111f4e6412
- child 51
- 1a9eac27698d
equal
deleted
inserted
replaced
| 20:cef43609a374 | 21:0133e565e072 |
|---|---|
| 17 <item> | 17 <item> |
| 18 <widget class="QSplitter" name="splitter"> | 18 <widget class="QSplitter" name="splitter"> |
| 19 <property name="orientation"> | 19 <property name="orientation"> |
| 20 <enum>Qt::Horizontal</enum> | 20 <enum>Qt::Horizontal</enum> |
| 21 </property> | 21 </property> |
| 22 <widget class="PartRenderer" name="viewport"/> | |
| 23 <widget class="QListView" name="listView"/> | 22 <widget class="QListView" name="listView"/> |
| 23 <widget class="QFrame" name="viewportFrame"> | |
| 24 <property name="frameShape"> | |
| 25 <enum>QFrame::StyledPanel</enum> | |
| 26 </property> | |
| 27 <property name="frameShadow"> | |
| 28 <enum>QFrame::Raised</enum> | |
| 29 </property> | |
| 30 </widget> | |
| 24 </widget> | 31 </widget> |
| 25 </item> | 32 </item> |
| 26 </layout> | 33 </layout> |
| 27 </widget> | 34 </widget> |
| 28 <customwidgets> | |
| 29 <customwidget> | |
| 30 <class>PartRenderer</class> | |
| 31 <extends>QOpenGLWidget</extends> | |
| 32 <header>gl/partrenderer.h</header> | |
| 33 </customwidget> | |
| 34 </customwidgets> | |
| 35 <resources/> | 35 <resources/> |
| 36 <connections/> | 36 <connections/> |
| 37 </ui> | 37 </ui> |
