git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'develop' into releases/Release_2_11_3_Branch
[jalview.git]
/
src
/
jalview
/
io
/
FileLoader.java
diff --git
a/src/jalview/io/FileLoader.java
b/src/jalview/io/FileLoader.java
index
d3ac53f
..
a2585b3
100755
(executable)
--- a/
src/jalview/io/FileLoader.java
+++ b/
src/jalview/io/FileLoader.java
@@
-41,6
+41,7
@@
import jalview.gui.AlignFrame;
import jalview.gui.AlignViewport;
import jalview.gui.Desktop;
import jalview.gui.JvOptionPane;
import jalview.gui.AlignViewport;
import jalview.gui.Desktop;
import jalview.gui.JvOptionPane;
+import jalview.gui.QuitHandler;
import jalview.json.binding.biojson.v1.ColourSchemeMapper;
import jalview.project.Jalview2XML;
import jalview.schemes.ColourSchemeI;
import jalview.json.binding.biojson.v1.ColourSchemeMapper;
import jalview.project.Jalview2XML;
import jalview.schemes.ColourSchemeI;
@@
-95,32
+96,51
@@
public class FileLoader implements Runnable
public void LoadFile(AlignViewport viewport, Object file,
DataSourceType protocol, FileFormatI format)
{
public void LoadFile(AlignViewport viewport, Object file,
DataSourceType protocol, FileFormatI format)
{
+ LoadFile(viewport, file, protocol, format, true);
+ }
+
+ public void LoadFile(AlignViewport viewport, Object file,
+ DataSourceType protocol, FileFormatI format, boolean async)
+ {
this.viewport = viewport;
if (file instanceof File)
{
this.selectedFile = (File) file;
file = selectedFile.getPath();
}
this.viewport = viewport;
if (file instanceof File)
{
this.selectedFile = (File) file;
file = selectedFile.getPath();
}
- LoadFile(file.toString(), protocol, format);
+ LoadFile(file.toString(), protocol, format, async);
}
public void LoadFile(String file, DataSourceType protocol,
FileFormatI format)
{
}
public void LoadFile(String file, DataSourceType protocol,
FileFormatI format)
{
+ LoadFile(file, protocol, format, true);
+ }
+
+ public void LoadFile(String file, DataSourceType protocol,
+ FileFormatI format, boolean async)
+ {
this.file = file;
this.protocol = protocol;
this.format = format;
this.file = file;
this.protocol = protocol;
this.format = format;
- final Thread loader = new Thread(this);
-
- SwingUtilities.invokeLater(new Runnable()
+ if (async)
{
{
- @Override
- public void run()
+ final Thread loader = new Thread(this);
+
+ SwingUtilities.invokeLater(new Runnable()
{
{
- loader.start();
- }
- });
+ @Override
+ public void run()
+ {
+ loader.start();
+ }
+ });
+ }
+ else
+ {
+ this.run();
+ }
}
/**
}
/**
@@
-312,6
+332,8
@@
public class FileLoader implements Runnable
MessageManager.getString("label.couldnt_read_data"),
JvOptionPane.WARNING_MESSAGE);
}
MessageManager.getString("label.couldnt_read_data"),
JvOptionPane.WARNING_MESSAGE);
}
+ // don't set shouldBeSaved if didn't load anything
+ // this.setShouldBeSaved();
return;
}
// TODO: cache any stream datasources as a temporary file (eg. PDBs
return;
}
// TODO: cache any stream datasources as a temporary file (eg. PDBs
@@
-485,6
+507,12
@@
public class FileLoader implements Runnable
// that perform queries to find the 'current working alignment'
Desktop.addInternalFrame(alignFrame, title,
AlignFrame.DEFAULT_WIDTH, AlignFrame.DEFAULT_HEIGHT);
// that perform queries to find the 'current working alignment'
Desktop.addInternalFrame(alignFrame, title,
AlignFrame.DEFAULT_WIDTH, AlignFrame.DEFAULT_HEIGHT);
+
+ /*
+ * for an Overview automatically opened with alignment,
+ * set its title now alignFrame title has been set
+ */
+ alignFrame.alignPanel.setOverviewTitle(alignFrame);
}
try
}
try
@@
-613,6
+641,7
@@
public class FileLoader implements Runnable
Desktop.instance.stopLoading();
}
Desktop.instance.stopLoading();
}
+ this.setShouldBeSaved();
}
/**
}
/**
@@
-638,4
+667,21
@@
public class FileLoader implements Runnable
return tempStructFile.toString();
}
return tempStructFile.toString();
}
+ /*
+ * set whether quit should ask to save when just loaded this source
+ */
+ private void setShouldBeSaved()
+ {
+ if (protocol == null)
+ return;
+ AlignFrame af = this.alignFrame;
+ if (af == null)
+ return;
+ AlignViewport avp = af.getViewport();
+ if (avp == null)
+ return;
+ avp.setSavedUpToDate(!protocol.isDynamic(),
+ QuitHandler.Message.UNSAVED_ALIGNMENTS);
+ }
+
}
}