Index: plugins.h =================================================================== --- plugins.h (revision 32168) +++ plugins.h (revision 32169) @@ -133,7 +133,7 @@ plugin_def("hid_batch", "batch process (no-gui HID)", sbuildin, 1, 1) plugin_def("hid_gtk2_gdk", "GTK2 GUI, software render", sbuildin, 1, 1) plugin_def("hid_gtk2_gl", "GTK2 GUI, opengl render", sbuildin, 1, 1) -plugin_def("hid_lesstif", "the lesstif gui", sbuildin, 1, 0) +plugin_def("hid_lesstif", "the lesstif gui", sbuildin, 1, 1) plugin_def("hid_remote", "remote HID server", sdisable, 0, 0) @@ -166,7 +166,7 @@ plugin_dep("hid_gtk2_gdk", "lib_gtk_common", 01) plugin_dep("hid_gtk2_gl", "lib_gtk_common", 01) plugin_dep("hid_gtk2_gl", "lib_hid_gl", 01) -plugin_dep("hid_lesstif", "lib_hid_common", 0) +plugin_dep("hid_lesstif", "lib_hid_common", 01) plugin_dep("import_dsn", "lib_compat_help", 0) plugin_dep("import_dsn", "lib_gensexpr", 0) plugin_dep("import_ipcd356", "lib_compat_help", 0)