1113 |
let use_html_frames = define_expert_option current_section ["use_html_frames"] |
let use_html_frames = define_expert_option current_section ["use_html_frames"] |
1114 |
"This option controls whether the WEB interface should use frames or not" bool_option true |
"This option controls whether the WEB interface should use frames or not" bool_option true |
1115 |
|
|
1116 |
let commands_frame_height = define_expert_option current_section ["commands_frame_height"] "The height of the command frame in pixel (depends on your screen and browser sizes)" int_option 46 |
let commands_frame_height = define_expert_option current_section ["commands_frame_height"] "The height of the command frame in pixel (depends on your screen and browser sizes)" int_option 42 |
1117 |
|
|
1118 |
let motd_html = define_expert_option current_section ["motd_html"] |
let motd_html = define_expert_option current_section ["motd_html"] |
1119 |
"Message printed at startup (automatically downloaded from the previous |
"Message printed at startup (automatically downloaded from the previous |