Changeset 2087


Ignore:
Timestamp:
01/12/07 15:26:28 (13 years ago)
Author:
curtis
Message:

Use getCurrentFile instead of raw ID when possible for window title.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/loci/plugins/browser/CustomWindow.java

    r2022 r2087  
    107107    } 
    108108 
    109     if (fp == null) patternTitle = id; 
     109    if (fp == null) { 
     110      patternTitle = db.reader == null ? id : db.reader.getCurrentFile(); 
     111    } 
    110112    setTitle(patternTitle); 
    111113 
Note: See TracChangeset for help on using the changeset viewer.