]> git.lyx.org Git - lyx.git/blobdiff - src/frontends/xforms/FormForks.C
Tiny clean-ups.
[lyx.git] / src / frontends / xforms / FormForks.C
index 467b141c54a7c69758bc2eddc13c096eafc47d98..b0a23bf87f972e046936a0caf29870b555661c24 100644 (file)
@@ -5,33 +5,40 @@
  *
  * \author Angus Leeming
  *
- * Full author contact details are available in file CREDITS
+ * Full author contact details are available in file CREDITS.
  * \date 2001-10-22
  */
 
 #include <config.h>
 
-
-#include "xformsBC.h"
-#include "ButtonController.h"
 #include "FormForks.h"
 #include "ControlForks.h"
 #include "forms/form_forks.h"
+
 #include "Tooltips.h"
-#include "helper_funcs.h"
 #include "xforms_helpers.h"
-#include "gettext.h"
+#include "xformsBC.h"
+
+#include "controllers/ButtonController.h"
+
 #include "support/lstrings.h"
-#include FORMS_H_LOCATION
+#include "support/tostr.h"
+
+#include "lyx_forms.h"
+
+using lyx::support::split;
+using lyx::support::strToInt;
 
-using std::vector;
 using std::find;
 using std::find_if;
+using std::string;
+using std::vector;
+
 
 typedef FormCB<ControlForks, FormDB<FD_forks> > base_class;
 
 FormForks::FormForks()
-       : base_class(_("Child processes"))
+       : base_class(_("Child Processes"))
 {}
 
 
@@ -54,13 +61,17 @@ void FormForks::build() {
        // Set up the tooltip mechanism
        string str = _("All currently running child processes forked by LyX.");
        tooltips().init(dialog_->browser_children, str);
+#if FL_VERSION == 0 || (FL_REVISION == 0 && FL_FIXLEVEL == 0)
        // Work-around xforms' bug; enable tooltips for browser widgets.
        setPrehandler(dialog_->browser_children);
+#endif
 
        str = _("A list of all child processes to kill.");
        tooltips().init(dialog_->browser_kill, str);
+#if FL_VERSION == 0 || (FL_REVISION == 0 && FL_FIXLEVEL == 0)
        // Work-around xforms' bug; enable tooltips for browser widgets.
        setPrehandler(dialog_->browser_kill);
+#endif
 
        str = _("Add all processes to the list of processes to kill.");
        tooltips().init(dialog_->button_all, str);