fi = imp.getOriginalFileInfo()
filepath = os.path.join(fi.directory, fi.fileName)
if File(filepath).equals(File(
event.getSource().getText())):
imp.getWindow().toFront()
is_open = True
if is_open:
return
# otherwise open it
IJ.open(table_entries[getSelectedRowIndex()][-2])
path.addMouseListener(PathOpener())
# Enable changing text font size in all components by control+shift+(plus|equals)/minus
components = list(all.getComponents()) + [table, table.getTableHeader()]
class FontSizeAdjuster(KeyAdapter):
def keyPressed(self, event):
if event.isControlDown() and event.isShiftDown(
): # like in e.g. a web browser
sign = {
KeyEvent.VK_MINUS: -1,
KeyEvent.VK_PLUS: 1,
KeyEvent.VK_EQUALS: 1
}.get(event.getKeyCode(), 0)
if 0 == sign: return
# Adjust font size of all UI components
for component in components:
font = component.getFont()
