docs: private void setFilePosition(FileWindow w, int line) {
          boolean activate = true;
          JTextArea ta = w.textArea;
          try {
              if (line == -1) {
                  w.setPosition(-1);
                  if (currentWindow == w) {
                      currentWindow = null;
                  }
              } else {
                  int loc = ta.getLineStartOffset(line-1);
                  if (currentWindow != null && currentWindow != w) {
                      currentWindow.setPosition(-1);
                  }
                  w.setPosition(loc);
                  currentWindow = w;
              }
          } catch (BadLocationException exc) {
              // fix me
          }
          if (activate) {
              if (w.isIcon()) {
                  desk.getDesktopManager().deiconifyFrame(w);
              }
              desk.getDesktopManager().activateFrame(w);
              try {
                  w.show();
                  w.toFront();  // required for correct frame layering (JDK 1.4.1)
                  w.setSelected(true);
              } catch (Exception exc) {
              }
          }
      }