Changeset 2086


Ignore:
Timestamp:
01/12/07 15:12:54 (13 years ago)
Author:
melissa
Message:

Save previous server and user name; use these as the default when logging in.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/loci/plugins/ome/OMETools.java

    r2085 r2086  
    8585  private void getInput() { 
    8686    GenericDialog gd = new GenericDialog("OME Login"); 
    87     gd.addStringField("Server:   ", "", 30); 
    88     gd.addStringField("Username: ", "", 30); 
     87    gd.addStringField("Server:   ", Prefs.get("downloader.server", ""), 30); 
     88    gd.addStringField("Username: ", Prefs.get("downloader.user", ""), 30); 
    8989    gd.addStringField("Password: ", "", 30); 
    9090 
     
    116116    username = gd.getNextString(); 
    117117    password = gd.getNextString(); 
     118 
     119    Prefs.set("downloader.server", server); 
     120    Prefs.set("downloader.user", username); 
    118121  } 
    119122 
Note: See TracChangeset for help on using the changeset viewer.