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; }