public void updateRecentlyOpened()
{
Vector recent = new Vector();
-
+ if (protocol.equals(FormatAdapter.PASTE))
+ {
+ // do nothing if the file was pasted in as text... there is no filename to refer to it as.
+ return;
+ }
String type = protocol.equals(FormatAdapter.FILE) ? "RECENT_FILE"
: "RECENT_URL";