forms/latexoptions.fd

   1 Magic: 13000
   2
   3 Internal Form Definition File
   4     (do not change)
   5
   6 Number of forms: 2
   7 Unit of measure: FL_COORD_PIXEL
   8
   9 =============== FORM ===============
  10 Name: LaTeXOptions
  11 Width: 310
  12 Height: 90
  13 Number of Objects: 5
  14
  15 --------------------
  16 class: FL_BOX
  17 type: UP_BOX
  18 box: 0 0 310 90
  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_CHECKBUTTON
  35 type: PUSH_BUTTON
  36 box: 10 10 310 30
  37 boxtype: FL_NO_BOX
  38 colors: FL_COL1 FL_YELLOW
  39 alignment: FL_ALIGN_CENTER
  40 style: FL_NORMAL_STYLE
  41 size: FL_NORMAL_SIZE
  42 lcol: FL_BLACK
  43 label: Allow accents on ALL characters|#w
  44 shortcut:
  45 resize: FL_RESIZE_ALL
  46 gravity: FL_NoGravity FL_NoGravity
  47 name: accents
  48 callback:
  49 argument:
  50
  51 --------------------
  52 class: FL_BUTTON
  53 type: RETURN_BUTTON
  54 box: 10 50 90 30
  55 boxtype: FL_UP_BOX
  56 colors: FL_COL1 FL_COL1
  57 alignment: FL_ALIGN_CENTER
  58 style: FL_NORMAL_STYLE
  59 size: FL_NORMAL_SIZE
  60 lcol: FL_BLACK
  61 label: OK
  62 shortcut: ^M
  63 resize: FL_RESIZE_ALL
  64 gravity: FL_NoGravity FL_NoGravity
  65 name:
  66 callback: LaTeXOptionsOK
  67 argument: 0
  68
  69 --------------------
  70 class: FL_BUTTON
  71 type: NORMAL_BUTTON
  72 box: 110 50 90 30
  73 boxtype: FL_UP_BOX
  74 colors: FL_COL1 FL_COL1
  75 alignment: FL_ALIGN_CENTER
  76 style: FL_NORMAL_STYLE
  77 size: FL_NORMAL_SIZE
  78 lcol: FL_BLACK
  79 label: Apply|#A
  80 shortcut:
  81 resize: FL_RESIZE_ALL
  82 gravity: FL_NoGravity FL_NoGravity
  83 name:
  84 callback: LaTeXOptionsApply
  85 argument: 0
  86
  87 --------------------
  88 class: FL_BUTTON
  89 type: NORMAL_BUTTON
  90 box: 210 50 90 30
  91 boxtype: FL_UP_BOX
  92 colors: FL_COL1 FL_COL1
  93 alignment: FL_ALIGN_CENTER
  94 style: FL_NORMAL_STYLE
  95 size: FL_NORMAL_SIZE
  96 lcol: FL_BLACK
  97 label: Cancel|^[
  98 shortcut:
  99 resize: FL_RESIZE_ALL
 100 gravity: FL_NoGravity FL_NoGravity
 101 name:
 102 callback: LaTeXOptionsCancel
 103 argument: 0
 104
 105 =============== FORM ===============
 106 Name: LaTeXLog
 107 Width: 470
 108 Height: 380
 109 Number of Objects: 4
 110
 111 --------------------
 112 class: FL_BOX
 113 type: UP_BOX
 114 box: 0 0 470 380
 115 boxtype: FL_UP_BOX
 116 colors: FL_COL1 FL_COL1
 117 alignment: FL_ALIGN_CENTER
 118 style: FL_NORMAL_STYLE
 119 size: FL_DEFAULT_SIZE
 120 lcol: FL_BLACK
 121 label:
 122 shortcut:
 123 resize: FL_RESIZE_ALL
 124 gravity: FL_NoGravity FL_NoGravity
 125 name:
 126 callback:
 127 argument:
 128
 129 --------------------
 130 class: FL_BROWSER
 131 type: NORMAL_BROWSER
 132 box: 10 10 450 320
 133 boxtype: FL_DOWN_BOX
 134 colors: FL_COL1 FL_YELLOW
 135 alignment: FL_ALIGN_BOTTOM
 136 style: FL_NORMAL_STYLE
 137 size: FL_DEFAULT_SIZE
 138 lcol: FL_BLACK
 139 label:
 140 shortcut:
 141 resize: FL_RESIZE_ALL
 142 gravity: FL_NorthWest FL_SouthEast
 143 name: browser_latexlog
 144 callback:
 145 argument:
 146
 147 --------------------
 148 class: FL_BUTTON
 149 type: RETURN_BUTTON
 150 box: 270 340 90 30
 151 boxtype: FL_UP_BOX
 152 colors: FL_COL1 FL_COL1
 153 alignment: FL_ALIGN_CENTER
 154 style: FL_NORMAL_STYLE
 155 size: FL_NORMAL_SIZE
 156 lcol: FL_BLACK
 157 label: Close
 158 shortcut: ^M
 159 resize: FL_RESIZE_NONE
 160 gravity: FL_SouthEast FL_SouthEast
 161 name:
 162 callback: LatexLogClose
 163 argument: 0
 164
 165 --------------------
 166 class: FL_BUTTON
 167 type: NORMAL_BUTTON
 168 box: 370 340 90 30
 169 boxtype: FL_UP_BOX
 170 colors: FL_COL1 FL_COL1
 171 alignment: FL_ALIGN_CENTER
 172 style: FL_NORMAL_STYLE
 173 size: FL_NORMAL_SIZE
 174 lcol: FL_BLACK
 175 label: Update|#Uu
 176 shortcut:
 177 resize: FL_RESIZE_NONE
 178 gravity: FL_SouthEast FL_SouthEast
 179 name:
 180 callback: LatexLogUpdate
 181 argument: 0
 182
 183 ==============================
 184 create_the_forms