src/frontends/xforms/forms/form_maths_panel.fd

   1 Magic: 13000
   2
   3 Internal Form Definition File
   4     (do not change)
   5
   6 Number of forms: 1
   7 Unit of measure: FL_COORD_PIXEL
   8 SnapGrid: 2
   9
  10 =============== FORM ===============
  11 Name: form_maths_panel
  12 Width: 290
  13 Height: 172
  14 Number of Objects: 16
  15
  16 --------------------
  17 class: FL_BOX
  18 type: UP_BOX
  19 box: 0 0 290 172
  20 boxtype: FL_UP_BOX
  21 colors: FL_COL1 FL_COL1
  22 alignment: FL_ALIGN_CENTER
  23 style: FL_NORMAL_STYLE
  24 size: FL_DEFAULT_SIZE
  25 lcol: FL_BLACK
  26 label:
  27 shortcut:
  28 resize: FL_RESIZE_ALL
  29 gravity: FL_NoGravity FL_NoGravity
  30 name:
  31 callback:
  32 argument:
  33
  34 --------------------
  35 class: FL_BUTTON
  36 type: RETURN_BUTTON
  37 box: 80 14 80 30
  38 boxtype: FL_UP_BOX
  39 colors: FL_COL1 FL_COL1
  40 alignment: FL_ALIGN_CENTER
  41 style: FL_NORMAL_STYLE
  42 size: FL_NORMAL_SIZE
  43 lcol: FL_BLACK
  44 label: Close
  45 shortcut: ^M
  46 resize: FL_RESIZE_ALL
  47 gravity: FL_NoGravity FL_NoGravity
  48 name: button_close
  49 callback: C_FormBaseDeprecatedCancelCB
  50 argument:
  51
  52 --------------------
  53 class: FL_BROWSER
  54 type: SELECT_BROWSER
  55 box: 180 40 94 110
  56 boxtype: FL_DOWN_BOX
  57 colors: FL_COL1 FL_YELLOW
  58 alignment: FL_ALIGN_TOP
  59 style: FL_NORMAL_STYLE
  60 size: FL_DEFAULT_SIZE
  61 lcol: FL_BLACK
  62 label: Functions
  63 shortcut:
  64 resize: FL_RESIZE_ALL
  65 gravity: FL_NoGravity FL_NoGravity
  66 name: browser_funcs
  67 callback: C_FormBaseDeprecatedInputCB
  68 argument: MM_FUNC
  69   h_pref: FL_OFF
  70
  71 --------------------
  72 class: FL_BUTTON
  73 type: NORMAL_BUTTON
  74 box: 10 90 50 30
  75 boxtype: FL_UP_BOX
  76 colors: FL_COL1 FL_COL1
  77 alignment: FL_ALIGN_CENTER
  78 style: 15
  79 size: FL_NORMAL_SIZE
  80 lcol: FL_BLACK
  81 label: Greek
  82 shortcut:
  83 resize: FL_RESIZE_ALL
  84 gravity: FL_NoGravity FL_NoGravity
  85 name: button_greek
  86 callback: C_FormBaseDeprecatedInputCB
  87 argument: MM_GREEK
  88
  89 --------------------
  90 class: FL_BUTTON
  91 type: NORMAL_BUTTON
  92 box: 10 120 50 30
  93 boxtype: FL_UP_BOX
  94 colors: FL_COL1 FL_COL1
  95 alignment: FL_ALIGN_CENTER
  96 style: 15
  97 size: FL_NORMAL_SIZE
  98 lcol: FL_BLACK
  99 label:  Û
 100 shortcut:
 101 resize: FL_RESIZE_ALL
 102 gravity: FL_NoGravity FL_NoGravity
 103 name: button_arrow
 104 callback: C_FormBaseDeprecatedInputCB
 105 argument: MM_ARROW
 106
 107 --------------------
 108 class: FL_BUTTON
 109 type: NORMAL_BUTTON
 110 box: 60 90 50 30
 111 boxtype: FL_UP_BOX
 112 colors: FL_COL1 FL_COL1
 113 alignment: FL_ALIGN_CENTER
 114 style: 15
 115 size: 0
 116 lcol: FL_BLACK
 117 label: ± ´
 118 shortcut:
 119 resize: FL_RESIZE_ALL
 120 gravity: FL_NoGravity FL_NoGravity
 121 name: button_boperator
 122 callback: C_FormBaseDeprecatedInputCB
 123 argument: MM_BOP
 124
 125 --------------------
 126 class: FL_BUTTON
 127 type: NORMAL_BUTTON
 128 box: 110 90 50 30
 129 boxtype: FL_UP_BOX
 130 colors: FL_COL1 FL_COL1
 131 alignment: FL_ALIGN_CENTER
 132 style: 15
 133 size: 0
 134 lcol: FL_BLACK
 135 label: £ @
 136 shortcut:
 137 resize: FL_RESIZE_ALL
 138 gravity: FL_NoGravity FL_NoGravity
 139 name: button_brelats
 140 callback: C_FormBaseDeprecatedInputCB
 141 argument: MM_BRELATS
 142
 143 --------------------
 144 class: FL_BUTTON
 145 type: NORMAL_BUTTON
 146 box: 60 120 50 30
 147 boxtype: FL_UP_BOX
 148 colors: FL_COL1 FL_COL1
 149 alignment: FL_ALIGN_CENTER
 150 style: 15
 151 size: 0
 152 lcol: FL_BLACK
 153 label: S  ò
 154 shortcut:
 155 resize: FL_RESIZE_ALL
 156 gravity: FL_NoGravity FL_NoGravity
 157 name: button_varsize
 158 callback: C_FormBaseDeprecatedInputCB
 159 argument: MM_VARSIZE
 160
 161 --------------------
 162 class: FL_BUTTON
 163 type: NORMAL_BUTTON
 164 box: 110 120 50 30
 165 boxtype: FL_UP_BOX
 166 colors: FL_COL1 FL_COL1
 167 alignment: FL_ALIGN_CENTER
 168 style: FL_TIMESITALIC_STYLE
 169 size: FL_NORMAL_SIZE
 170 lcol: FL_BLACK
 171 label: Misc
 172 shortcut:
 173 resize: FL_RESIZE_ALL
 174 gravity: FL_NoGravity FL_NoGravity
 175 name: button_misc
 176 callback: C_FormBaseDeprecatedInputCB
 177 argument: MM_MISC
 178
 179 --------------------
 180 class: FL_PIXMAPBUTTON
 181 type: NORMAL_BUTTON
 182 box: 130 50 30 30
 183 boxtype: FL_UP_BOX
 184 colors: FL_MCOL FL_BLUE
 185 alignment: FL_ALIGN_BOTTOM
 186 style: FL_NORMAL_STYLE
 187 size: FL_DEFAULT_SIZE
 188 lcol: FL_BLACK
 189 label:
 190 shortcut:
 191 resize: FL_RESIZE_ALL
 192 gravity: FL_NoGravity FL_NoGravity
 193 name: button_equation
 194 callback: C_FormBaseDeprecatedInputCB
 195 argument: MM_EQU
 196
 197 --------------------
 198 class: FL_PIXMAPBUTTON
 199 type: NORMAL_BUTTON
 200 box: 10 15 30 30
 201 boxtype: FL_UP_BOX
 202 colors: FL_MCOL FL_BLUE
 203 alignment: FL_ALIGN_BOTTOM
 204 style: FL_NORMAL_STYLE
 205 size: FL_DEFAULT_SIZE
 206 lcol: FL_BLACK
 207 label:
 208 shortcut:
 209 resize: FL_RESIZE_ALL
 210 gravity: FL_NoGravity FL_NoGravity
 211 name: button_sqrt
 212 callback: C_FormBaseDeprecatedInputCB
 213 argument: MM_SQRT
 214
 215 --------------------
 216 class: FL_PIXMAPBUTTON
 217 type: NORMAL_BUTTON
 218 box: 40 15 30 30
 219 boxtype: FL_UP_BOX
 220 colors: FL_MCOL FL_BLUE
 221 alignment: FL_ALIGN_BOTTOM
 222 style: FL_NORMAL_STYLE
 223 size: FL_DEFAULT_SIZE
 224 lcol: FL_COL1
 225 label:
 226 shortcut:
 227 resize: FL_RESIZE_ALL
 228 gravity: FL_NoGravity FL_NoGravity
 229 name: button_frac
 230 callback: C_FormBaseDeprecatedInputCB
 231 argument: MM_FRAC
 232
 233 --------------------
 234 class: FL_PIXMAPBUTTON
 235 type: NORMAL_BUTTON
 236 box: 10 50 30 30
 237 boxtype: FL_UP_BOX
 238 colors: FL_MCOL FL_BLUE
 239 alignment: FL_ALIGN_BOTTOM
 240 style: FL_NORMAL_STYLE
 241 size: FL_DEFAULT_SIZE
 242 lcol: FL_BLACK
 243 label:
 244 shortcut:
 245 resize: FL_RESIZE_ALL
 246 gravity: FL_NoGravity FL_NoGravity
 247 name: button_delim
 248 callback: C_FormBaseDeprecatedInputCB
 249 argument: MM_DELIM
 250
 251 --------------------
 252 class: FL_PIXMAPBUTTON
 253 type: NORMAL_BUTTON
 254 box: 100 50 30 30
 255 boxtype: FL_UP_BOX
 256 colors: FL_MCOL FL_BLUE
 257 alignment: FL_ALIGN_BOTTOM
 258 style: FL_NORMAL_STYLE
 259 size: FL_DEFAULT_SIZE
 260 lcol: FL_BLACK
 261 label:
 262 shortcut:
 263 resize: FL_RESIZE_ALL
 264 gravity: FL_NoGravity FL_NoGravity
 265 name: button_matrix
 266 callback: C_FormBaseDeprecatedInputCB
 267 argument: MM_MATRIX
 268
 269 --------------------
 270 class: FL_PIXMAPBUTTON
 271 type: NORMAL_BUTTON
 272 box: 40 50 30 30
 273 boxtype: FL_UP_BOX
 274 colors: FL_MCOL FL_BLUE
 275 alignment: FL_ALIGN_BOTTOM
 276 style: FL_NORMAL_STYLE
 277 size: FL_DEFAULT_SIZE
 278 lcol: FL_BLACK
 279 label:
 280 shortcut:
 281 resize: FL_RESIZE_ALL
 282 gravity: FL_NoGravity FL_NoGravity
 283 name: button_deco
 284 callback: C_FormBaseDeprecatedInputCB
 285 argument: MM_DECO
 286
 287 --------------------
 288 class: FL_PIXMAPBUTTON
 289 type: NORMAL_BUTTON
 290 box: 70 50 30 30
 291 boxtype: FL_UP_BOX
 292 colors: FL_MCOL FL_BLUE
 293 alignment: FL_ALIGN_BOTTOM
 294 style: FL_NORMAL_STYLE
 295 size: FL_DEFAULT_SIZE
 296 lcol: FL_BLACK
 297 label:
 298 shortcut:
 299 resize: FL_RESIZE_ALL
 300 gravity: FL_NoGravity FL_NoGravity
 301 name: button_space
 302 callback: C_FormBaseDeprecatedInputCB
 303 argument: MM_SPACE
 304
 305 ==============================
 306 create_the_forms