1 // File modified by fdfix.sh for use by lyx (with xforms >= 0.88) and gettext
3 #include "xforms_helpers.h"
6 /* Form definition file generated with fdesign. */
8 #include FORMS_H_LOCATION
10 #include "form_texinfo.h"
11 #include "FormTexinfo.h"
13 FD_form_texinfo::~FD_form_texinfo()
15 if ( form->visible ) fl_hide_form( form );
20 FD_form_texinfo * FormTexinfo::build_texinfo()
23 FD_form_texinfo *fdui = new FD_form_texinfo;
25 fdui->form = fl_bgn_form(FL_NO_BOX, 513, 353);
26 fdui->form->u_vdata = this;
27 obj = fl_add_box(FL_UP_BOX, 0, 0, 513, 353, "");
28 fl_set_object_lstyle(obj, FL_FIXED_STYLE);
29 fdui->browser = obj = fl_add_browser(FL_HOLD_BROWSER, 15, 12, 324, 241, "");
30 fl_set_object_lalign(obj, FL_ALIGN_TOP);
31 fl_set_object_lstyle(obj, FL_FIXED_STYLE);
32 fl_set_object_gravity(obj, FL_NorthWest, FL_SouthEast);
33 fl_set_object_resize(obj, FL_RESIZE_NONE);
34 fl_set_object_callback(obj, C_FormBaseInputCB, 0);
35 obj = fl_add_frame(FL_ENGRAVED_FRAME, 345, 15, 155, 100, "");
36 fl_set_object_gravity(obj, FL_NorthEast, FL_NorthEast);
38 char const * const dummy = N_("LaTeX Classes|#C");
39 fdui->radio_cls = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 350, 20, 30, 30, idex(_(dummy)));
40 fl_set_button_shortcut(obj, scex(_(dummy)), 1);
42 fl_set_object_color(obj, FL_COL1, FL_YELLOW);
43 fl_set_object_lsize(obj, FL_NORMAL_SIZE);
44 fl_set_object_lalign(obj, FL_ALIGN_RIGHT);
45 fl_set_object_gravity(obj, FL_NorthEast, FL_NorthEast);
46 fl_set_object_callback(obj, C_FormBaseInputCB, 0);
47 fl_set_button(obj, 1);
49 char const * const dummy = N_("LaTeX Styles|#S");
50 fdui->radio_sty = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 350, 50, 30, 30, idex(_(dummy)));
51 fl_set_button_shortcut(obj, scex(_(dummy)), 1);
53 fl_set_object_color(obj, FL_COL1, FL_YELLOW);
54 fl_set_object_lsize(obj, FL_NORMAL_SIZE);
55 fl_set_object_lalign(obj, FL_ALIGN_RIGHT);
56 fl_set_object_gravity(obj, FL_NorthEast, FL_NorthEast);
57 fl_set_object_callback(obj, C_FormBaseInputCB, 0);
59 char const * const dummy = N_("BibTeX Styles|#B");
60 fdui->radio_bst = obj = fl_add_round3dbutton(FL_RADIO_BUTTON, 350, 80, 30, 30, idex(_(dummy)));
61 fl_set_button_shortcut(obj, scex(_(dummy)), 1);
63 fl_set_object_color(obj, FL_COL1, FL_YELLOW);
64 fl_set_object_lsize(obj, FL_NORMAL_SIZE);
65 fl_set_object_lalign(obj, FL_ALIGN_RIGHT);
66 fl_set_object_gravity(obj, FL_NorthEast, FL_NorthEast);
67 fl_set_object_callback(obj, C_FormBaseInputCB, 0);
68 obj = fl_add_frame(FL_ENGRAVED_FRAME, 345, 122, 155, 128, "");
69 fl_set_object_gravity(obj, FL_NorthEast, FL_NorthEast);
71 char const * const dummy = N_("Rescan|#R");
72 fdui->button_rescan = obj = fl_add_button(FL_NORMAL_BUTTON, 355, 138, 135, 30, idex(_(dummy)));
73 fl_set_button_shortcut(obj, scex(_(dummy)), 1);
75 fl_set_object_lsize(obj, FL_NORMAL_SIZE);
76 fl_set_object_gravity(obj, FL_NorthEast, FL_NorthEast);
77 fl_set_object_callback(obj, C_FormBaseInputCB, 2);
79 char const * const dummy = N_("View|#V");
80 fdui->button_view = obj = fl_add_button(FL_NORMAL_BUTTON, 355, 173, 135, 30, idex(_(dummy)));
81 fl_set_button_shortcut(obj, scex(_(dummy)), 1);
83 fl_set_object_lsize(obj, FL_NORMAL_SIZE);
84 fl_set_object_gravity(obj, FL_NorthEast, FL_NorthEast);
85 fl_set_object_callback(obj, C_FormBaseInputCB, 2);
87 char const * const dummy = N_("Show Path|#P");
88 fdui->button_fullPath = obj = fl_add_checkbutton(FL_PUSH_BUTTON, 350, 209, 30, 30, idex(_(dummy)));
89 fl_set_button_shortcut(obj, scex(_(dummy)), 1);
91 fl_set_object_lsize(obj, FL_NORMAL_SIZE);
92 fl_set_object_lalign(obj, FL_ALIGN_RIGHT);
93 fl_set_object_gravity(obj, FL_NorthEast, FL_NorthEast);
94 fl_set_object_callback(obj, C_FormBaseInputCB, 2);
96 char const * const dummy = N_("Run Texhash|#T");
97 fdui->button_texhash = obj = fl_add_button(FL_NORMAL_BUTTON, 14, 270, 131, 30, idex(_(dummy)));
98 fl_set_button_shortcut(obj, scex(_(dummy)), 1);
100 fl_set_object_lsize(obj, FL_NORMAL_SIZE);
101 fl_set_object_gravity(obj, FL_SouthWest, FL_SouthEast);
102 fl_set_object_callback(obj, C_FormBaseInputCB, 0);
104 char const * const dummy = N_("Close|^[^M");
105 fdui->button_close = obj = fl_add_button(FL_NORMAL_BUTTON, 409, 313, 90, 30, idex(_(dummy)));
106 fl_set_button_shortcut(obj, scex(_(dummy)), 1);
108 fl_set_object_lsize(obj, FL_NORMAL_SIZE);
109 fl_set_object_gravity(obj, FL_SouthEast, FL_SouthEast);
110 fl_set_object_callback(obj, C_FormBaseCancelCB, 0);
112 char const * const dummy = N_("Help:|#H");
113 fdui->choice_help = obj = fl_add_choice(FL_NORMAL_CHOICE, 344, 270, 155, 29, idex(_(dummy)));
114 fl_set_button_shortcut(obj, scex(_(dummy)), 1);
116 fl_set_object_boxtype(obj, FL_FRAME_BOX);
117 fl_set_object_callback(obj, C_FormBaseInputCB, 0);
120 fdui->form->fdui = fdui;
124 /*---------------------------------------*/