/**
* Returns all editors.
*
* @return editors
*/
EditorArea[] editors() {
final ArrayList<EditorArea> edits = new ArrayList<EditorArea>();
for (final Component c : tabs.getComponents()) {
if (c instanceof EditorArea) edits.add((EditorArea) c);
}
return edits.toArray(new EditorArea[edits.size()]);
}
/**
* Returns the clipboard text.
*
* @return text
*/
private static String clip() {
// copy selection to clipboard
final Clipboard clip = Toolkit.getDefaultToolkit().getSystemClipboard();
final Transferable tr = clip.getContents(null);
if (tr != null) {
final ArrayList<Object> contents = BaseXLayout.contents(tr);
if (!contents.isEmpty()) return contents.get(0).toString();
} else {
Util.debug("Clipboard has no contents.");
}
return null;
}
/**
* Returns the contents of the specified transferable.
*
* @param tr transferable
* @return contents
*/
@SuppressWarnings("unchecked")
public static ArrayList<Object> contents(final Transferable tr) {
final ArrayList<Object> list = new ArrayList<>();
try {
if (tr.isDataFlavorSupported(DataFlavor.javaFileListFlavor)) {
for (final File fl : (List<File>) tr.getTransferData(DataFlavor.javaFileListFlavor))
list.add(fl);
} else if (tr.isDataFlavorSupported(DataFlavor.stringFlavor)) {
list.add(tr.getTransferData(DataFlavor.stringFlavor));
}
} catch (final Exception ex) {
Util.stack(ex);
}
return list;
}
