srecord noeq JFilePathLabel(File file) {
  visual
    file == null ? jlabel("-")
    : centerAndEastWithMargin(jlabel(f2s(file)),
      jimageButtonScaledToWidth(16, #1101292, "Show in file explorer",
        l0 showInExplorer));
    
  void showInExplorer {
    thread { startPlatformFileManager(file); }
  }
}