src/frontends/xforms/forms/form_maths_style.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_style
  12 Width: 373
  13 Height: 251
  14 Number of Objects: 22
  15
  16 --------------------
  17 class: FL_BOX
  18 type: UP_BOX
  19 box: 0 0 373 251
  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: NORMAL_BUTTON
  37 box: 152 212 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: Apply|#A
  45 shortcut:
  46 resize: FL_RESIZE_ALL
  47 gravity: FL_NoGravity FL_NoGravity
  48 name: button_apply
  49 callback: C_FormBaseDeprecatedApplyCB
  50 argument: 0
  51
  52 --------------------
  53 class: FL_BUTTON
  54 type: RETURN_BUTTON
  55 box: 62 212 80 30
  56 boxtype: FL_UP_BOX
  57 colors: FL_COL1 FL_COL1
  58 alignment: FL_ALIGN_CENTER
  59 style: FL_NORMAL_STYLE
  60 size: FL_NORMAL_SIZE
  61 lcol: FL_BLACK
  62 label: OK
  63 shortcut: ^M
  64 resize: FL_RESIZE_ALL
  65 gravity: FL_NoGravity FL_NoGravity
  66 name: button_ok
  67 callback: C_FormBaseDeprecatedOKCB
  68 argument: 0
  69
  70 --------------------
  71 class: FL_BUTTON
  72 type: NORMAL_BUTTON
  73 box: 244 212 80 30
  74 boxtype: FL_UP_BOX
  75 colors: FL_COL1 FL_COL1
  76 alignment: FL_ALIGN_CENTER
  77 style: FL_NORMAL_STYLE
  78 size: FL_NORMAL_SIZE
  79 lcol: FL_BLACK
  80 label: Cancel|^[
  81 shortcut:
  82 resize: FL_RESIZE_ALL
  83 gravity: FL_NoGravity FL_NoGravity
  84 name: button_cancel
  85 callback: C_FormBaseDeprecatedCancelCB
  86 argument: 0
  87
  88 --------------------
  89 class: FL_BEGIN_GROUP
  90 type: 0
  91 box: 0 0 0 0
  92 boxtype: FL_NO_BOX
  93 colors: FL_COL1 FL_MCOL
  94 alignment: FL_ALIGN_CENTER
  95 style: FL_NORMAL_STYLE
  96 size: FL_DEFAULT_SIZE
  97 lcol: FL_BLACK
  98 label:
  99 shortcut:
 100 resize: FL_RESIZE_ALL
 101 gravity: FL_NoGravity FL_NoGravity
 102 name: styles
 103 callback:
 104 argument:
 105
 106 --------------------
 107 class: FL_ROUND3DBUTTON
 108 type: RADIO_BUTTON
 109 box: 15 15 120 30
 110 boxtype: FL_NO_BOX
 111 colors: FL_MCOL FL_YELLOW
 112 alignment: FL_ALIGN_CENTER
 113 style: FL_NORMAL_STYLE
 114 size: FL_MEDIUM_SIZE
 115 lcol: FL_BLACK
 116 label: Display|#D
 117 shortcut:
 118 resize: FL_RESIZE_ALL
 119 gravity: FL_NoGravity FL_NoGravity
 120 name: radio_display
 121 callback: C_FormBaseDeprecatedInputCB
 122 argument: 1
 123
 124 --------------------
 125 class: FL_ROUND3DBUTTON
 126 type: RADIO_BUTTON
 127 box: 15 45 120 30
 128 boxtype: FL_NO_BOX
 129 colors: FL_MCOL FL_YELLOW
 130 alignment: FL_ALIGN_CENTER
 131 style: FL_NORMAL_STYLE
 132 size: FL_NORMAL_SIZE
 133 lcol: FL_BLACK
 134 label: Text|#T
 135 shortcut:
 136 resize: FL_RESIZE_ALL
 137 gravity: FL_NoGravity FL_NoGravity
 138 name: radio_text
 139 callback: C_FormBaseDeprecatedInputCB
 140 argument: 0
 141         value: 1
 142
 143 --------------------
 144 class: FL_ROUND3DBUTTON
 145 type: RADIO_BUTTON
 146 box: 15 75 120 30
 147 boxtype: FL_NO_BOX
 148 colors: FL_MCOL FL_YELLOW
 149 alignment: FL_ALIGN_CENTER
 150 style: FL_NORMAL_STYLE
 151 size: FL_DEFAULT_SIZE
 152 lcol: FL_BLACK
 153 label: Script|#S
 154 shortcut:
 155 resize: FL_RESIZE_ALL
 156 gravity: FL_NoGravity FL_NoGravity
 157 name: radio_script
 158 callback: C_FormBaseDeprecatedInputCB
 159 argument: 2
 160
 161 --------------------
 162 class: FL_ROUND3DBUTTON
 163 type: RADIO_BUTTON
 164 box: 140 15 120 30
 165 boxtype: FL_NO_BOX
 166 colors: FL_MCOL FL_YELLOW
 167 alignment: FL_ALIGN_CENTER
 168 style: FL_BOLD_STYLE
 169 size: FL_NORMAL_SIZE
 170 lcol: FL_BLACK
 171 label: Bold|#B
 172 shortcut:
 173 resize: FL_RESIZE_ALL
 174 gravity: FL_NoGravity FL_NoGravity
 175 name: radio_bold
 176 callback: C_FormBaseDeprecatedInputCB
 177 argument: 4
 178
 179 --------------------
 180 class: FL_ROUND3DBUTTON
 181 type: RADIO_BUTTON
 182 box: 140 45 120 30
 183 boxtype: FL_NO_BOX
 184 colors: FL_MCOL FL_YELLOW
 185 alignment: FL_ALIGN_CENTER
 186 style: 14
 187 size: FL_NORMAL_SIZE
 188 lcol: FL_BLACK
 189 label: Calligraphy|#C
 190 shortcut:
 191 resize: FL_RESIZE_ALL
 192 gravity: FL_NoGravity FL_NoGravity
 193 name: radio_calligraphic
 194 callback: C_FormBaseDeprecatedInputCB
 195 argument: 5
 196
 197 --------------------
 198 class: FL_ROUND3DBUTTON
 199 type: RADIO_BUTTON
 200 box: 140 75 120 30
 201 boxtype: FL_NO_BOX
 202 colors: FL_MCOL FL_YELLOW
 203 alignment: FL_ALIGN_CENTER
 204 style: FL_TIMES_STYLE
 205 size: FL_NORMAL_SIZE
 206 lcol: FL_BLACK
 207 label: Roman|#m
 208 shortcut:
 209 resize: FL_RESIZE_ALL
 210 gravity: FL_NoGravity FL_NoGravity
 211 name: radio_roman
 212 callback: C_FormBaseDeprecatedInputCB
 213 argument: 6
 214
 215 --------------------
 216 class: FL_ROUND3DBUTTON
 217 type: RADIO_BUTTON
 218 box: 15 105 120 30
 219 boxtype: FL_NO_BOX
 220 colors: FL_MCOL FL_YELLOW
 221 alignment: FL_ALIGN_CENTER
 222 style: FL_NORMAL_STYLE
 223 size: FL_TINY_SIZE
 224 lcol: FL_BLACK
 225 label: scriptscript|#p
 226 shortcut:
 227 resize: FL_RESIZE_ALL
 228 gravity: FL_NoGravity FL_NoGravity
 229 name: radio_scriptscript
 230 callback: C_FormBaseDeprecatedInputCB
 231 argument: 3
 232
 233 --------------------
 234 class: FL_ROUND3DBUTTON
 235 type: RADIO_BUTTON
 236 box: 140 105 120 30
 237 boxtype: FL_NO_BOX
 238 colors: FL_MCOL FL_YELLOW
 239 alignment: FL_ALIGN_CENTER
 240 style: FL_FIXED_STYLE
 241 size: FL_NORMAL_SIZE
 242 lcol: FL_BLACK
 243 label: Fixed|#x
 244 shortcut:
 245 resize: FL_RESIZE_ALL
 246 gravity: FL_NoGravity FL_NoGravity
 247 name: radio_typewriter
 248 callback: C_FormBaseDeprecatedInputCB
 249 argument: 7
 250
 251 --------------------
 252 class: FL_ROUND3DBUTTON
 253 type: RADIO_BUTTON
 254 box: 140 165 120 30
 255 boxtype: FL_NO_BOX
 256 colors: FL_MCOL FL_YELLOW
 257 alignment: FL_ALIGN_CENTER
 258 style: FL_TIMESITALIC_STYLE
 259 size: FL_NORMAL_SIZE
 260 lcol: FL_BLACK
 261 label: Italic|#I
 262 shortcut:
 263 resize: FL_RESIZE_ALL
 264 gravity: FL_NoGravity FL_NoGravity
 265 name: radio_italic
 266 callback: C_FormBaseDeprecatedInputCB
 267 argument: 9
 268
 269 --------------------
 270 class: FL_ROUND3DBUTTON
 271 type: RADIO_BUTTON
 272 box: 260 15 120 30
 273 boxtype: FL_NO_BOX
 274 colors: FL_MCOL FL_YELLOW
 275 alignment: FL_ALIGN_CENTER
 276 style: FL_NORMAL_STYLE
 277 size: FL_NORMAL_SIZE
 278 lcol: FL_BLACK
 279 label: BB Bold|#o
 280 shortcut:
 281 resize: FL_RESIZE_ALL
 282 gravity: FL_NoGravity FL_NoGravity
 283 name: radio_bbbold
 284 callback: C_FormBaseDeprecatedInputCB
 285 argument: 10
 286
 287 --------------------
 288 class: FL_ROUND3DBUTTON
 289 type: RADIO_BUTTON
 290 box: 260 45 120 30
 291 boxtype: FL_NO_BOX
 292 colors: FL_MCOL FL_YELLOW
 293 alignment: FL_ALIGN_CENTER
 294 style: FL_NORMAL_STYLE
 295 size: FL_NORMAL_SIZE
 296 lcol: FL_BLACK
 297 label: Fraktur|#F
 298 shortcut:
 299 resize: FL_RESIZE_ALL
 300 gravity: FL_NoGravity FL_NoGravity
 301 name: radio_fraktur
 302 callback: C_FormBaseDeprecatedInputCB
 303 argument: 11
 304
 305 --------------------
 306 class: FL_ROUND3DBUTTON
 307 type: RADIO_BUTTON
 308 box: 260 165 120 30
 309 boxtype: FL_NO_BOX
 310 colors: FL_MCOL FL_YELLOW
 311 alignment: FL_ALIGN_CENTER
 312 style: FL_NORMAL_STYLE
 313 size: FL_NORMAL_SIZE
 314 lcol: FL_BLACK
 315 label: Reset|#R
 316 shortcut:
 317 resize: FL_RESIZE_ALL
 318 gravity: FL_NoGravity FL_NoGravity
 319 name: radio_normal
 320 callback: C_FormBaseDeprecatedInputCB
 321 argument: 13
 322
 323 --------------------
 324 class: FL_ROUND3DBUTTON
 325 type: RADIO_BUTTON
 326 box: 260 105 120 30
 327 boxtype: FL_NO_BOX
 328 colors: FL_MCOL FL_YELLOW
 329 alignment: FL_ALIGN_CENTER
 330 style: FL_NORMAL_STYLE
 331 size: FL_NORMAL_SIZE
 332 lcol: FL_BLACK
 333 label: textrm|#e
 334 shortcut:
 335 resize: FL_RESIZE_ALL
 336 gravity: FL_NoGravity FL_NoGravity
 337 name: radio_textrm
 338 callback: C_FormBaseDeprecatedInputCB
 339 argument: 12
 340
 341 --------------------
 342 class: FL_ROUND3DBUTTON
 343 type: RADIO_BUTTON
 344 box: 140 135 120 30
 345 boxtype: FL_NO_BOX
 346 colors: FL_MCOL FL_YELLOW
 347 alignment: FL_ALIGN_CENTER
 348 style: FL_NORMAL_STYLE
 349 size: FL_NORMAL_SIZE
 350 lcol: FL_BLACK
 351 label: Sans Serif|#n
 352 shortcut:
 353 resize: FL_RESIZE_ALL
 354 gravity: FL_NoGravity FL_NoGravity
 355 name: radio_sans
 356 callback: C_FormBaseDeprecatedInputCB
 357 argument: 8
 358
 359 --------------------
 360 class: FL_END_GROUP
 361 type: 0
 362 box: 0 0 0 0
 363 boxtype: FL_NO_BOX
 364 colors: FL_COL1 FL_MCOL
 365 alignment: FL_ALIGN_CENTER
 366 style: FL_NORMAL_STYLE
 367 size: FL_DEFAULT_SIZE
 368 lcol: FL_BLACK
 369 label:
 370 shortcut:
 371 resize: FL_RESIZE_ALL
 372 gravity: FL_NoGravity FL_NoGravity
 373 name:
 374 callback:
 375 argument:
 376
 377 --------------------
 378 class: FL_FRAME
 379 type: ENGRAVED_FRAME
 380 box: 136 16 226 184
 381 boxtype: FL_NO_BOX
 382 colors: FL_BLACK FL_COL1
 383 alignment: FL_ALIGN_CENTER
 384 style: FL_NORMAL_STYLE
 385 size: FL_DEFAULT_SIZE
 386 lcol: FL_BLACK
 387 label:
 388 shortcut:
 389 resize: FL_RESIZE_ALL
 390 gravity: FL_NoGravity FL_NoGravity
 391 name:
 392 callback:
 393 argument:
 394
 395 --------------------
 396 class: FL_FRAME
 397 type: ENGRAVED_FRAME
 398 box: 14 16 110 124
 399 boxtype: FL_FRAME_BOX
 400 colors: FL_BLACK FL_COL1
 401 alignment: FL_ALIGN_CENTER
 402 style: FL_NORMAL_STYLE
 403 size: FL_DEFAULT_SIZE
 404 lcol: FL_BLACK
 405 label:
 406 shortcut:
 407 resize: FL_RESIZE_ALL
 408 gravity: FL_NoGravity FL_NoGravity
 409 name:
 410 callback:
 411 argument:
 412
 413 ==============================
 414 create_the_forms