private static void Handle_About (
Shell Dispatch, string[] args, int index) {
About Options = new About ();
var Registry = new Goedel.Registry.Registry ();
#pragma warning disable 162
for (int i = index; i< args.Length; i++) {
if (!IsFlag (args [i][0] )) {
throw new System.Exception ("Unexpected parameter: " + args[i]);}
string Rest = args [i].Substring (1);
TagType_About TagType = (TagType_About) Registry.Find (Rest);
// here have the cases for what to do with it.
switch (TagType) {
default : throw new System.Exception ("Internal error");
}
}
#pragma warning restore 162
Dispatch.About (Options);
}