Contents of /curlfrontend/!cURL/Desc

tool_details_start
  name "cURL";
  command_is "curl";
  version CURL_VERSION;
  wimpslot 2048k;
tool_details_end

metaoptions_start
  has_text_window;
metaoptions_end

dbox_start

  icons_start
    icn 3 maps_to string;
    icn 4 maps_to "-i";
    icn 5 maps_to "-L";
    icn 6 maps_to "-v";
    icn 7 maps_to "-I";
    icn 9 maps_to "-o" produces_output;
  icons_end

  defaults
    icn 3 "http://",
    icn 4 off,
    icn 5 off,
    icn 6 off,
    icn 7 off,
    icn 9 off;

dbox_end

order_is
  icn 4, icn 5, icn 6, icn 7, icn 9, output, icn 3;
1	tool_details_start
2	name "cURL";
3	command_is "curl";
4	version CURL_VERSION;
5	wimpslot 2048k;
6	tool_details_end
7
8	metaoptions_start
9	has_text_window;
10	metaoptions_end
11
12	dbox_start
13
14	icons_start
15	icn 3 maps_to string;
16	icn 4 maps_to "-i";
17	icn 5 maps_to "-L";
18	icn 6 maps_to "-v";
19	icn 7 maps_to "-I";
20	icn 9 maps_to "-o" produces_output;
21	icons_end
22
23	defaults
24	icn 3 "http://",
25	icn 4 off,
26	icn 5 off,
27	icn 6 off,
28	icn 7 off,
29	icn 9 off;
30
31	dbox_end
32
33	order_is
34	icn 4, icn 5, icn 6, icn 7, icn 9, output, icn 3;