public Display.Name display_name(String name, String description,
Display.Name default_value)
{
Display.Name retval = default_value;
try {
String opt = option (name);
if (opt != null) retval = new Display.Name (opt);
} catch (Exception e) {
invalid_names.Append (name + ", ");
// fall through
}
add_spec (name, "display name", description, default_value.ToString (),
retval.ToString ());
return retval;
}
public Display.Name display_name(String name, String description,
Display.Name default_value)
{
Display.Name retval = default_value;
try {
String opt = option(name);
if (opt != null)
{
retval = new Display.Name(opt);
}
} catch (Exception e) {
invalid_names.Append(name + ", ");
// fall through
}
add_spec(name, "display name", description, default_value.ToString(),
retval.ToString());
return(retval);
}
protected Application(String [] args)
: base(args, new Option(args))
{
// cast `gnu.util.Option option' to `gnu.x11.Option'
option = (Option)base.option;
String env = Environment.GetEnvironmentVariable("DISPLAY");
if (env == null || env.Length == 0)
{
env = "localhost:1";
}
Display.Name display_name = option.display_name("display",
"X server to connect to", new Display.Name(env));
int send_mode = option.Enum("send-mode", "request sending mode",
Connection.SEND_MODE_STRINGS, Connection.ASYNCHRONOUS);
if (help_option)
{
return;
}
display = new Display(display_name);
display.connection.send_mode = send_mode;
}
