forms/bullet_forms.C.patch

   1 --- bullet_forms.c      Wed Sep 24 22:03:42 1997
   2 +++ bullet_forms.c.patched      Wed Sep 24 22:05:31 1997
   3 @@ -3,6 +3,10 @@
   4  #include "forms.h"
   5  #include <stdlib.h>
   6  #include "bullet_forms.h"
   7 +#include "bmtable.h"
   8 +#include "filetools.h"
   9 +
  10 +extern int mono_video;
  11
  12  FD_form_bullet *create_form_form_bullet(void)
  13  {
  14 @@ -10,10 +14,28 @@
  15    FD_form_bullet *fdui = (FD_form_bullet *) fl_calloc(1, sizeof(*fdui));
  16
  17    fdui->form_bullet = fl_bgn_form(FL_NO_BOX, 370, 390);
  18 +  fl_set_border_width(-1);
  19    obj = fl_add_box(FL_UP_BOX,0,0,370,390,"");
  20 -  fdui->replace_this_with_a_BMTable = obj = fl_add_pixmapbutton(FL_NORMAL_BUTTON,90,105,260,180,"");
  21 -    fl_set_object_boxtype(obj,FL_NO_BOX);
  22 -    fl_set_pixmapbutton_file(obj, "psnfss2.xpm");
  23 +
  24 +  // make the border thick again to improve the bmtable looks
  25 +  fl_set_border_width(-3);
  26 +
  27 +  fdui->bmtable_bullet_panel = obj = fl_add_bmtable(1, 90, 105, 265, 180, "");
  28 +     fl_set_object_callback(obj, BulletBMTableCB, 0);
  29 +     fl_set_object_lcol(obj, FL_BLUE);
  30 +     fl_set_object_boxtype(obj, FL_UP_BOX);
  31 +     if (mono_video) {
  32 +        fl_set_bmtable_file(obj, 6, 6,
  33 +                           LibFileSearch("images",
  34 +                                         "standard.xbm").c_str());
  35 +     }
  36 +     else {
  37 +        fl_set_bmtable_pixmap_file(obj, 6, 6,
  38 +                                  LibFileSearch("images",
  39 +                                                "standard.xpm").c_str());
  40 +    }
  41 +
  42 +  fl_set_border_width(-1);
  43    obj = fl_add_frame(FL_ENGRAVED_FRAME,95,20,255,70,"");
  44    obj = fl_add_frame(FL_ENGRAVED_FRAME,0,340,370,50,"");
  45    fdui->choice_bullet_size = obj = fl_add_choice(FL_NORMAL_CHOICE,15,45,65,30,"Size|#z");
  46 @@ -38,5 +60,7 @@
  47      fl_set_object_lsize(obj,FL_NORMAL_SIZE);
  48      fl_set_object_lstyle(obj,FL_FIXED_STYLE);
  49 +    fl_set_input_return(obj, FL_RETURN_CHANGED);
  50 +    fl_set_input_maxchars(obj,80);
  51      fl_set_object_callback(obj,InputBulletLaTeXCB,0);
  52
  53    fdui->radio_bullet_depth = fl_bgn_group();