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
   9 =============== FORM ===============
  10 Name: form_maths_panel
  11 Width: 260
  12 Height: 211
  13 Number of Objects: 25
  14
  15 --------------------
  16 class: FL_BOX
  17 type: UP_BOX
  18 box: 0 0 260 211
  19 boxtype: FL_UP_BOX
  20 colors: FL_COL1 FL_COL1
  21 alignment: FL_ALIGN_CENTER
  22 style: FL_NORMAL_STYLE
  23 size: FL_DEFAULT_SIZE
  24 lcol: FL_BLACK
  25 label:
  26 shortcut:
  27 resize: FL_RESIZE_ALL
  28 gravity: FL_NoGravity FL_NoGravity
  29 name:
  30 callback:
  31 argument:
  32
  33 --------------------
  34 class: FL_BUTTON
  35 type: RETURN_BUTTON
  36 box: 170 170 80 30
  37 boxtype: FL_UP_BOX
  38 colors: FL_COL1 FL_COL1
  39 alignment: FL_ALIGN_CENTER
  40 style: FL_NORMAL_STYLE
  41 size: FL_NORMAL_SIZE
  42 lcol: FL_BLACK
  43 label: Close
  44 shortcut: ^M
  45 resize: FL_RESIZE_ALL
  46 gravity: FL_NoGravity FL_NoGravity
  47 name: button_close
  48 callback: C_FormBaseDeprecatedCancelCB
  49 argument: 0
  50
  51 --------------------
  52 class: FL_BROWSER
  53 type: SELECT_BROWSER
  54 box: 170 30 80 130
  55 boxtype: FL_DOWN_BOX
  56 colors: FL_COL1 FL_YELLOW
  57 alignment: FL_ALIGN_TOP
  58 style: FL_NORMAL_STYLE
  59 size: FL_DEFAULT_SIZE
  60 lcol: FL_BLACK
  61 label: Functions
  62 shortcut:
  63 resize: FL_RESIZE_ALL
  64 gravity: FL_NoGravity FL_NoGravity
  65 name: browser_funcs
  66 callback: C_FormBaseDeprecatedInputCB
  67 argument: MM_FUNC
  68   h_pref: FL_OFF
  69
  70 --------------------
  71 class: FL_BUTTON
  72 type: NORMAL_BUTTON
  73 box: 10 140 50 30
  74 boxtype: FL_UP_BOX
  75 colors: FL_COL1 FL_COL1
  76 alignment: FL_ALIGN_CENTER
  77 style: 15
  78 size: FL_NORMAL_SIZE
  79 lcol: FL_BLACK
  80 label: Greek
  81 shortcut:
  82 resize: FL_RESIZE_ALL
  83 gravity: FL_NoGravity FL_NoGravity
  84 name: button_greek
  85 callback: C_FormBaseDeprecatedInputCB
  86 argument: MM_GREEK
  87
  88 --------------------
  89 class: FL_BUTTON
  90 type: NORMAL_BUTTON
  91 box: 110 80 50 30
  92 boxtype: FL_UP_BOX
  93 colors: FL_COL1 FL_COL1
  94 alignment: FL_ALIGN_CENTER
  95 style: 15
  96 size: 0
  97 lcol: FL_BLACK
  98 label:  Û
  99 shortcut:
 100 resize: FL_RESIZE_ALL
 101 gravity: FL_NoGravity FL_NoGravity
 102 name: button_arrow
 103 callback: C_FormBaseDeprecatedInputCB
 104 argument: MM_ARROW
 105
 106 --------------------
 107 class: FL_BUTTON
 108 type: NORMAL_BUTTON
 109 box: 10 80 50 30
 110 boxtype: FL_UP_BOX
 111 colors: FL_COL1 FL_COL1
 112 alignment: FL_ALIGN_CENTER
 113 style: 15
 114 size: 0
 115 lcol: FL_BLACK
 116 label: ± ´
 117 shortcut:
 118 resize: FL_RESIZE_ALL
 119 gravity: FL_NoGravity FL_NoGravity
 120 name: button_boperator
 121 callback: C_FormBaseDeprecatedInputCB
 122 argument: MM_BOP
 123
 124 --------------------
 125 class: FL_BUTTON
 126 type: NORMAL_BUTTON
 127 box: 60 80 50 30
 128 boxtype: FL_UP_BOX
 129 colors: FL_COL1 FL_COL1
 130 alignment: FL_ALIGN_CENTER
 131 style: 15
 132 size: 0
 133 lcol: FL_BLACK
 134 label: £ @
 135 shortcut:
 136 resize: FL_RESIZE_ALL
 137 gravity: FL_NoGravity FL_NoGravity
 138 name: button_brelats
 139 callback: C_FormBaseDeprecatedInputCB
 140 argument: MM_BRELATS
 141
 142 --------------------
 143 class: FL_BUTTON
 144 type: NORMAL_BUTTON
 145 box: 110 110 50 30
 146 boxtype: FL_UP_BOX
 147 colors: FL_COL1 FL_COL1
 148 alignment: FL_ALIGN_CENTER
 149 style: FL_TIMESITALIC_STYLE
 150 size: FL_NORMAL_SIZE
 151 lcol: FL_BLACK
 152 label: Misc
 153 shortcut:
 154 resize: FL_RESIZE_ALL
 155 gravity: FL_NoGravity FL_NoGravity
 156 name: button_misc
 157 callback: C_FormBaseDeprecatedInputCB
 158 argument: MM_MISC
 159
 160 --------------------
 161 class: FL_PIXMAPBUTTON
 162 type: NORMAL_BUTTON
 163 box: 130 40 30 30
 164 boxtype: FL_UP_BOX
 165 colors: FL_MCOL FL_BLUE
 166 alignment: FL_ALIGN_BOTTOM
 167 style: FL_NORMAL_STYLE
 168 size: FL_DEFAULT_SIZE
 169 lcol: FL_BLACK
 170 label:
 171 shortcut:
 172 resize: FL_RESIZE_ALL
 173 gravity: FL_NoGravity FL_NoGravity
 174 name: button_equation
 175 callback: C_FormBaseDeprecatedInputCB
 176 argument: MM_EQU
 177
 178 --------------------
 179 class: FL_PIXMAPBUTTON
 180 type: NORMAL_BUTTON
 181 box: 10 10 30 30
 182 boxtype: FL_UP_BOX
 183 colors: FL_MCOL FL_BLUE
 184 alignment: FL_ALIGN_BOTTOM
 185 style: FL_NORMAL_STYLE
 186 size: FL_DEFAULT_SIZE
 187 lcol: FL_BLACK
 188 label:
 189 shortcut:
 190 resize: FL_RESIZE_ALL
 191 gravity: FL_NoGravity FL_NoGravity
 192 name: button_sqrt
 193 callback: C_FormBaseDeprecatedInputCB
 194 argument: MM_SQRT
 195
 196 --------------------
 197 class: FL_PIXMAPBUTTON
 198 type: NORMAL_BUTTON
 199 box: 40 10 30 30
 200 boxtype: FL_UP_BOX
 201 colors: FL_MCOL FL_BLUE
 202 alignment: FL_ALIGN_BOTTOM
 203 style: FL_NORMAL_STYLE
 204 size: FL_DEFAULT_SIZE
 205 lcol: FL_COL1
 206 label:
 207 shortcut:
 208 resize: FL_RESIZE_ALL
 209 gravity: FL_NoGravity FL_NoGravity
 210 name: button_frac
 211 callback: C_FormBaseDeprecatedInputCB
 212 argument: MM_FRAC
 213
 214 --------------------
 215 class: FL_PIXMAPBUTTON
 216 type: NORMAL_BUTTON
 217 box: 70 10 30 30
 218 boxtype: FL_UP_BOX
 219 colors: FL_MCOL FL_BLUE
 220 alignment: FL_ALIGN_BOTTOM
 221 style: FL_NORMAL_STYLE
 222 size: FL_DEFAULT_SIZE
 223 lcol: FL_BLACK
 224 label:
 225 shortcut:
 226 resize: FL_RESIZE_ALL
 227 gravity: FL_NoGravity FL_NoGravity
 228 name: button_delim
 229 callback: C_FormBaseDeprecatedInputCB
 230 argument: MM_DELIM
 231
 232 --------------------
 233 class: FL_PIXMAPBUTTON
 234 type: NORMAL_BUTTON
 235 box: 100 40 30 30
 236 boxtype: FL_UP_BOX
 237 colors: FL_MCOL FL_BLUE
 238 alignment: FL_ALIGN_BOTTOM
 239 style: FL_NORMAL_STYLE
 240 size: FL_DEFAULT_SIZE
 241 lcol: FL_BLACK
 242 label:
 243 shortcut:
 244 resize: FL_RESIZE_ALL
 245 gravity: FL_NoGravity FL_NoGravity
 246 name: button_matrix
 247 callback: C_FormBaseDeprecatedInputCB
 248 argument: MM_MATRIX
 249
 250 --------------------
 251 class: FL_PIXMAPBUTTON
 252 type: NORMAL_BUTTON
 253 box: 100 10 30 30
 254 boxtype: FL_UP_BOX
 255 colors: FL_MCOL FL_BLUE
 256 alignment: FL_ALIGN_BOTTOM
 257 style: FL_NORMAL_STYLE
 258 size: FL_DEFAULT_SIZE
 259 lcol: FL_BLACK
 260 label:
 261 shortcut:
 262 resize: FL_RESIZE_ALL
 263 gravity: FL_NoGravity FL_NoGravity
 264 name: button_deco
 265 callback: C_FormBaseDeprecatedInputCB
 266 argument: MM_DECO
 267
 268 --------------------
 269 class: FL_PIXMAPBUTTON
 270 type: NORMAL_BUTTON
 271 box: 130 10 30 30
 272 boxtype: FL_UP_BOX
 273 colors: FL_MCOL FL_BLUE
 274 alignment: FL_ALIGN_BOTTOM
 275 style: FL_NORMAL_STYLE
 276 size: FL_DEFAULT_SIZE
 277 lcol: FL_BLACK
 278 label:
 279 shortcut:
 280 resize: FL_RESIZE_ALL
 281 gravity: FL_NoGravity FL_NoGravity
 282 name: button_space
 283 callback: C_FormBaseDeprecatedInputCB
 284 argument: MM_SPACE
 285
 286 --------------------
 287 class: FL_BUTTON
 288 type: NORMAL_BUTTON
 289 box: 60 110 50 30
 290 boxtype: FL_UP_BOX
 291 colors: FL_COL1 FL_COL1
 292 alignment: FL_ALIGN_CENTER
 293 style: FL_TIMESITALIC_STYLE
 294 size: 0
 295 lcol: FL_BLACK
 296 label: Dots
 297 shortcut:
 298 resize: FL_RESIZE_ALL
 299 gravity: FL_NoGravity FL_NoGravity
 300 name: button_dots
 301 callback: C_FormBaseDeprecatedInputCB
 302 argument: MM_DOTS
 303
 304 --------------------
 305 class: FL_BUTTON
 306 type: NORMAL_BUTTON
 307 box: 10 110 50 30
 308 boxtype: FL_UP_BOX
 309 colors: FL_COL1 FL_COL1
 310 alignment: FL_ALIGN_CENTER
 311 style: 15
 312 size: 0
 313 lcol: FL_BLACK
 314 label: S  ò
 315 shortcut:
 316 resize: FL_RESIZE_ALL
 317 gravity: FL_NoGravity FL_NoGravity
 318 name: button_varsize
 319 callback: C_FormBaseDeprecatedInputCB
 320 argument: MM_VARSIZE
 321
 322 --------------------
 323 class: FL_PIXMAPBUTTON
 324 type: NORMAL_BUTTON
 325 box: 40 40 30 30
 326 boxtype: FL_UP_BOX
 327 colors: FL_MCOL FL_BLUE
 328 alignment: FL_ALIGN_BOTTOM
 329 style: FL_NORMAL_STYLE
 330 size: FL_DEFAULT_SIZE
 331 lcol: FL_BLACK
 332 label:
 333 shortcut:
 334 resize: FL_RESIZE_ALL
 335 gravity: FL_NoGravity FL_NoGravity
 336 name: button_sub
 337 callback: C_FormBaseDeprecatedInputCB
 338 argument: MM_SUB
 339
 340 --------------------
 341 class: FL_PIXMAPBUTTON
 342 type: NORMAL_BUTTON
 343 box: 10 40 30 30
 344 boxtype: FL_UP_BOX
 345 colors: FL_MCOL FL_BLUE
 346 alignment: FL_ALIGN_BOTTOM
 347 style: FL_NORMAL_STYLE
 348 size: FL_DEFAULT_SIZE
 349 lcol: FL_BLACK
 350 label:
 351 shortcut:
 352 resize: FL_RESIZE_ALL
 353 gravity: FL_NoGravity FL_NoGravity
 354 name: button_super
 355 callback: C_FormBaseDeprecatedInputCB
 356 argument: MM_SUPER
 357
 358 --------------------
 359 class: FL_PIXMAPBUTTON
 360 type: NORMAL_BUTTON
 361 box: 70 40 30 30
 362 boxtype: FL_UP_BOX
 363 colors: FL_MCOL FL_BLUE
 364 alignment: FL_ALIGN_BOTTOM
 365 style: FL_NORMAL_STYLE
 366 size: FL_DEFAULT_SIZE
 367 lcol: FL_BLACK
 368 label:
 369 shortcut:
 370 resize: FL_RESIZE_ALL
 371 gravity: FL_NoGravity FL_NoGravity
 372 name: button_style
 373 callback: C_FormBaseDeprecatedInputCB
 374 argument: MM_STYLE
 375
 376 --------------------
 377 class: FL_BUTTON
 378 type: NORMAL_BUTTON
 379 box: 60 140 50 30
 380 boxtype: FL_UP_BOX
 381 colors: FL_COL1 FL_COL1
 382 alignment: FL_ALIGN_CENTER
 383 style: 15
 384 size: 0
 385 lcol: FL_BLUE
 386 label:  Û
 387 shortcut:
 388 resize: FL_RESIZE_ALL
 389 gravity: FL_NoGravity FL_NoGravity
 390 name: button_ams_arrows
 391 callback: C_FormBaseDeprecatedInputCB
 392 argument: MM_AMS_ARROWS
 393
 394 --------------------
 395 class: FL_BUTTON
 396 type: NORMAL_BUTTON
 397 box: 110 140 50 30
 398 boxtype: FL_UP_BOX
 399 colors: FL_COL1 FL_COL1
 400 alignment: FL_ALIGN_CENTER
 401 style: 15
 402 size: 0
 403 lcol: FL_BLUE
 404 label: £ @
 405 shortcut:
 406 resize: FL_RESIZE_ALL
 407 gravity: FL_NoGravity FL_NoGravity
 408 name: button_ams_brel
 409 callback: C_FormBaseDeprecatedInputCB
 410 argument: MM_AMS_BREL
 411
 412 --------------------
 413 class: FL_BUTTON
 414 type: NORMAL_BUTTON
 415 box: 10 170 50 30
 416 boxtype: FL_UP_BOX
 417 colors: FL_COL1 FL_COL1
 418 alignment: FL_ALIGN_CENTER
 419 style: 15
 420 size: 0
 421 lcol: FL_BLUE
 422 label: !(£ @)
 423 shortcut:
 424 resize: FL_RESIZE_ALL
 425 gravity: FL_NoGravity FL_NoGravity
 426 name: button_ams_nrel
 427 callback: C_FormBaseDeprecatedInputCB
 428 argument: MM_AMS_NREL
 429
 430 --------------------
 431 class: FL_BUTTON
 432 type: NORMAL_BUTTON
 433 box: 60 170 50 30
 434 boxtype: FL_UP_BOX
 435 colors: FL_COL1 FL_COL1
 436 alignment: FL_ALIGN_CENTER
 437 style: 15
 438 size: 0
 439 lcol: FL_BLUE
 440 label: ± ´
 441 shortcut:
 442 resize: FL_RESIZE_ALL
 443 gravity: FL_NoGravity FL_NoGravity
 444 name: button_ams_ops
 445 callback: C_FormBaseDeprecatedInputCB
 446 argument: MM_AMS_OPS
 447
 448 --------------------
 449 class: FL_BUTTON
 450 type: NORMAL_BUTTON
 451 box: 110 170 50 30
 452 boxtype: FL_UP_BOX
 453 colors: FL_COL1 FL_COL1
 454 alignment: FL_ALIGN_CENTER
 455 style: FL_TIMESITALIC_STYLE
 456 size: FL_NORMAL_SIZE
 457 lcol: FL_BLUE
 458 label: Misc
 459 shortcut:
 460 resize: FL_RESIZE_ALL
 461 gravity: FL_NoGravity FL_NoGravity
 462 name: button_ams_misc
 463 callback: C_FormBaseDeprecatedInputCB
 464 argument: MM_AMS_MISC
 465
 466 ==============================
 467 create_the_forms