1729 |
style=\\\"padding: 0px; font-size: 10px; font-family: verdana\\\" onchange=\\\"this.form.submit()\\\"\\> |
style=\\\"padding: 0px; font-size: 10px; font-family: verdana\\\" onchange=\\\"this.form.submit()\\\"\\> |
1730 |
\\<option value=\\\"0\\\"\\>style/theme\n"; |
\\<option value=\\\"0\\\"\\>style/theme\n"; |
1731 |
|
|
1732 |
Array.iteri (fun i h -> |
Array.iteri (fun i style -> |
1733 |
Printf.bprintf buf "\\<option value=\\\"%d\\\"\\>%s\\</option\\>\n" i (fst h); |
Printf.bprintf buf "\\<option value=\\\"%d\\\"\\>%s\\</option\\>\n" i style.style_name |
1734 |
) !html_mods_styles; |
) CommonMessages.styles; |
1735 |
|
|
1736 |
if Sys.file_exists html_themes_dir then |
if Sys.file_exists html_themes_dir then |
1737 |
let list = Unix2.list_directory html_themes_dir in |
let list = Unix2.list_directory html_themes_dir in |
2825 |
begin |
begin |
2826 |
html_mods =:= true; |
html_mods =:= true; |
2827 |
html_mods_style =:= 0; |
html_mods_style =:= 0; |
2828 |
commands_frame_height =:= (snd !html_mods_styles.(!!html_mods_style)); |
commands_frame_height =:= CommonMessages.styles.(!!html_mods_style).frame_height; |
2829 |
use_html_frames =:= true; |
use_html_frames =:= true; |
2830 |
CommonMessages.colour_changer() ; |
CommonMessages.colour_changer() ; |
2831 |
end; |
end; |
2837 |
"html_mods_style", Arg_multiple (fun args o -> |
"html_mods_style", Arg_multiple (fun args o -> |
2838 |
let buf = o.conn_buf in |
let buf = o.conn_buf in |
2839 |
if args = [] then begin |
if args = [] then begin |
2840 |
Array.iteri (fun i h -> |
Array.iteri (fun i style -> |
2841 |
Printf.bprintf buf "%d: %s\n" i (fst h); |
Printf.bprintf buf "%d: %s\n" i style.style_name; |
2842 |
) !html_mods_styles; |
) CommonMessages.styles; |
2843 |
"" |
"" |
2844 |
end |
end |
2845 |
else begin |
else begin |
2848 |
html_mods_theme =:= ""; |
html_mods_theme =:= ""; |
2849 |
let num = int_of_string (List.hd args) in |
let num = int_of_string (List.hd args) in |
2850 |
|
|
2851 |
if num >= 0 && num < (Array.length !html_mods_styles) then begin |
html_mods_style =:= |
2852 |
html_mods_style =:= num; |
if num >= 0 && num < Array.length CommonMessages.styles then |
2853 |
commands_frame_height =:= (snd !html_mods_styles.(num)); |
num else 0; |
2854 |
CommonMessages.colour_changer (); |
commands_frame_height =:= CommonMessages.styles.(!!html_mods_style).frame_height; |
2855 |
end |
CommonMessages.colour_changer (); |
|
else begin |
|
|
html_mods_style =:= 0; |
|
|
commands_frame_height =:= (snd !html_mods_styles.(!!html_mods_style)); |
|
|
CommonMessages.colour_changer (); |
|
|
end; |
|
2856 |
"\\<script type=\\\"text/javascript\\\"\\>top.window.location.reload();\\</script\\>" |
"\\<script type=\\\"text/javascript\\\"\\>top.window.location.reload();\\</script\\>" |
2857 |
end |
end |
2858 |
|
|