bins-gladedir.patch

   1 diff -durN bins-1.1.7.orig/bins-edit-gui bins-1.1.7/bins-edit-gui
   2 --- bins-1.1.7.orig/bins-edit-gui       Fri May 24 11:38:52 2002
   3 +++ bins-1.1.7/bins-edit-gui    Fri May 24 11:39:41 2002
   4 @@ -115,7 +115,7 @@
   5  Gnome->init("bins-edit-gui", $version);
   6  Gtk->init;
   7
   8 -$glade = "/usr/local/share/bins/bins-edit-gui.glade";
   9 +$glade = "/usr/share/bins/bins-edit-gui.glade";
  10  if (! -r $glade) {
  11      $glade = "bins-edit-gui.glade" ; # developer hack
  12      print "DEVELOPER HACK\n";