diff options
Diffstat (limited to 'graphics/xmrm/files/patch-xmrm.cc')
| -rw-r--r-- | graphics/xmrm/files/patch-xmrm.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/graphics/xmrm/files/patch-xmrm.cc b/graphics/xmrm/files/patch-xmrm.cc new file mode 100644 index 000000000000..dde1548b1bf4 --- /dev/null +++ b/graphics/xmrm/files/patch-xmrm.cc @@ -0,0 +1,11 @@ +--- xmrm.cc.orig Fri Nov 29 18:03:08 2002 ++++ xmrm.cc Fri Nov 29 17:41:19 2002 +@@ -362,7 +362,7 @@ + // fl_set_object_boxtype(obj,FL_NO_BOX); + fl_set_object_lsize(obj,FL_NORMAL_SIZE); + fl_set_object_lstyle(obj,FL_BOLD_STYLE); +- fl_set_menu(obj, "HTML-Manual (Netscape)%l|ABOUT"); ++ fl_set_menu(obj, "HTML-Manual%l|ABOUT"); + fl_set_object_callback(obj,callback_Menus,3); + + //******************************** SLIDERS ************************************************************* |