src/frontends/xforms/form_maths_style.C

   1 // File modified by fdfix.sh for use by lyx (with xforms >= 0.88) and gettext
   2 #include <config.h>
   3 #include "xforms_helpers.h"
   4 #include "gettext.h"
   5
   6 /* Form definition file generated with fdesign. */
   7
   8 #include FORMS_H_LOCATION
   9 #include <stdlib.h>
  10 #include "form_maths_style.h"
  11 #include "FormMathsStyle.h"
  12
  13 FD_form_maths_style::~FD_form_maths_style()
  14 {
  15   if ( form->visible ) fl_hide_form( form );
  16   fl_free_form( form );
  17 }
  18
  19
  20 FD_form_maths_style * FormMathsStyle::build_maths_style()
  21 {
  22   FL_OBJECT *obj;
  23   FD_form_maths_style *fdui = new FD_form_maths_style;
  24
  25   fdui->form = fl_bgn_form(FL_NO_BOX, 373, 251);
  26   fdui->form->u_vdata = this;
  27   obj = fl_add_box(FL_UP_BOX, 0, 0, 373, 251, "");
  28   {
  29     char const * const dummy = N_("Apply|#A");
  30     fdui->button_apply = obj = fl_add_button(FL_NORMAL_BUTTON, 152, 212, 80, 30, idex(_(dummy)));
  31     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
  32   }
  33     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
  34     fl_set_object_callback(obj, C_FormBaseDeprecatedApplyCB, 0);
  35   fdui->button_ok = obj = fl_add_button(FL_RETURN_BUTTON, 62, 212, 80, 30, _("OK "));
  36     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
  37     fl_set_object_callback(obj, C_FormBaseDeprecatedOKCB, 0);
  38   {
  39     char const * const dummy = N_("Cancel|^[");
  40     fdui->button_cancel = obj = fl_add_button(FL_NORMAL_BUTTON, 244, 212, 80, 30, idex(_(dummy)));
  41     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
  42   }
  43     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
  44     fl_set_object_callback(obj, C_FormBaseDeprecatedCancelCB, 0);
  45
  46   fdui->styles = fl_bgn_group();
  47   {
  48     char const * const dummy = N_("Display|#D");
  49     fdui->radio_display = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 15, 15, 120, 30, idex(_(dummy)));
  50     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
  51   }
  52     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
  53     fl_set_object_lsize(obj, FL_MEDIUM_SIZE);
  54     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 1);
  55   {
  56     char const * const dummy = N_("Text|#T");
  57     fdui->radio_text = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 15, 45, 120, 30, idex(_(dummy)));
  58     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
  59   }
  60     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
  61     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
  62     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 0);
  63     fl_set_button(obj, 1);
  64   {
  65     char const * const dummy = N_("Script|#S");
  66     fdui->radio_script = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 15, 75, 120, 30, idex(_(dummy)));
  67     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
  68   }
  69     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
  70     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 2);
  71   {
  72     char const * const dummy = N_("Bold|#B");
  73     fdui->radio_bold = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 140, 15, 120, 30, idex(_(dummy)));
  74     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
  75   }
  76     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
  77     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
  78     fl_set_object_lstyle(obj, FL_BOLD_STYLE);
  79     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 4);
  80   {
  81     char const * const dummy = N_("Calligraphy|#C");
  82     fdui->radio_calligraphic = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 140, 45, 120, 30, idex(_(dummy)));
  83     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
  84   }
  85     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
  86     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
  87     fl_set_object_lstyle(obj, 14);
  88     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 5);
  89   {
  90     char const * const dummy = N_("Roman|#m");
  91     fdui->radio_roman = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 140, 75, 120, 30, idex(_(dummy)));
  92     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
  93   }
  94     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
  95     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
  96     fl_set_object_lstyle(obj, FL_TIMES_STYLE);
  97     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 6);
  98   {
  99     char const * const dummy = N_("scriptscript|#p");
 100     fdui->radio_scriptscript = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 15, 105, 120, 30, idex(_(dummy)));
 101     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
 102   }
 103     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
 104     fl_set_object_lsize(obj, FL_TINY_SIZE);
 105     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 3);
 106   {
 107     char const * const dummy = N_("Fixed|#x");
 108     fdui->radio_typewriter = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 140, 105, 120, 30, idex(_(dummy)));
 109     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
 110   }
 111     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
 112     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
 113     fl_set_object_lstyle(obj, FL_FIXED_STYLE);
 114     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 7);
 115   {
 116     char const * const dummy = N_("Italic|#I");
 117     fdui->radio_italic = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 140, 165, 120, 30, idex(_(dummy)));
 118     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
 119   }
 120     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
 121     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
 122     fl_set_object_lstyle(obj, FL_TIMESITALIC_STYLE);
 123     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 9);
 124   {
 125     char const * const dummy = N_("BB Bold|#o");
 126     fdui->radio_bbbold = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 260, 15, 120, 30, idex(_(dummy)));
 127     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
 128   }
 129     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
 130     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
 131     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 10);
 132   {
 133     char const * const dummy = N_("Fraktur|#F");
 134     fdui->radio_fraktur = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 260, 45, 120, 30, idex(_(dummy)));
 135     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
 136   }
 137     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
 138     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
 139     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 11);
 140   {
 141     char const * const dummy = N_("Reset|#R");
 142     fdui->radio_normal = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 260, 165, 120, 30, idex(_(dummy)));
 143     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
 144   }
 145     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
 146     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
 147     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 13);
 148   {
 149     char const * const dummy = N_("textrm|#e");
 150     fdui->radio_textrm = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 260, 105, 120, 30, idex(_(dummy)));
 151     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
 152   }
 153     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
 154     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
 155     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 12);
 156   {
 157     char const * const dummy = N_("Sans Serif|#n");
 158     fdui->radio_sans = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 140, 135, 120, 30, idex(_(dummy)));
 159     fl_set_button_shortcut(obj, scex(_(dummy)), 1);
 160   }
 161     fl_set_object_color(obj, FL_MCOL, FL_YELLOW);
 162     fl_set_object_lsize(obj, FL_NORMAL_SIZE);
 163     fl_set_object_callback(obj, C_FormBaseDeprecatedInputCB, 8);
 164   fl_end_group();
 165
 166   obj = fl_add_frame(FL_ENGRAVED_FRAME, 136, 16, 226, 184, "");
 167   obj = fl_add_frame(FL_ENGRAVED_FRAME, 14, 16, 110, 124, "");
 168   fl_end_form();
 169
 170   fdui->form->fdui = fdui;
 171
 172   return fdui;
 173 }
 174 /*---------------------------------------*/
 175