KileWidgetScriptingConfig Michel Ludwig (michel.ludwig@kdemail.net) KileWidgetScriptingConfig 0 0 340 198 5 5 0 0 Scripting Support unnamed kcfg_ScriptingEnabled 1 1 0 0 Enable &scripting true executionTimeLimitGroupBox true 7 5 0 0 Execution Time Limit unnamed kcfg_TimeLimitEnabled 1 1 0 0 &Limit the execution time of scripts true layout10 unnamed textLabel1 5 5 0 0 &Time limit (seconds): kcfg_TimeLimit spacer1 Horizontal Fixed 16 20 kcfg_TimeLimit 1 0 0 0 1 spacer4 Horizontal Expanding 40 20 spacer5 Vertical Expanding 20 40 kcfg_ScriptingEnabled toggled(bool) executionTimeLimitGroupBox setEnabled(bool) kcfg_TimeLimitEnabled toggled(bool) kcfg_TimeLimit setEnabled(bool) kcfg_TimeLimitEnabled toggled(bool) textLabel1 setEnabled(bool) scriptingconfigwidget.ui.h knuminput.h knuminput.h