Information.ui 1.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <ui version="4.0">
  3. <class>Information</class>
  4. <widget class="QWidget" name="Information">
  5. <property name="geometry">
  6. <rect>
  7. <x>0</x>
  8. <y>0</y>
  9. <width>388</width>
  10. <height>50</height>
  11. </rect>
  12. </property>
  13. <layout class="QHBoxLayout" name="horizontalLayout">
  14. <item>
  15. <widget class="QCheckBox" name="AddToDrawing">
  16. <property name="text">
  17. <string>Add measurement to drawing</string>
  18. </property>
  19. </widget>
  20. </item>
  21. <item>
  22. <widget class="Line" name="line">
  23. <property name="orientation">
  24. <enum>Qt::Vertical</enum>
  25. </property>
  26. </widget>
  27. </item>
  28. <item>
  29. <widget class="QLabel" name="TextHeightLabel">
  30. <property name="enabled">
  31. <bool>false</bool>
  32. </property>
  33. <property name="text">
  34. <string>Text height:</string>
  35. </property>
  36. </widget>
  37. </item>
  38. <item>
  39. <widget class="RMathLineEdit" name="TextHeight">
  40. <property name="enabled">
  41. <bool>false</bool>
  42. </property>
  43. <property name="minimumSize">
  44. <size>
  45. <width>50</width>
  46. <height>0</height>
  47. </size>
  48. </property>
  49. <property name="maximumSize">
  50. <size>
  51. <width>75</width>
  52. <height>16777215</height>
  53. </size>
  54. </property>
  55. <property name="text">
  56. <string notr="true">1</string>
  57. </property>
  58. <property name="angle" stdset="0">
  59. <bool>false</bool>
  60. </property>
  61. <property name="defaultUnit" stdset="0">
  62. <number>0</number>
  63. </property>
  64. </widget>
  65. </item>
  66. </layout>
  67. </widget>
  68. <customwidgets>
  69. <customwidget>
  70. <class>RMathLineEdit</class>
  71. <extends>QLineEdit</extends>
  72. <header>RMathLineEdit.h</header>
  73. </customwidget>
  74. </customwidgets>
  75. <resources/>
  76. <connections/>
  77. </ui>