* View.
*/
public static OffPanel getOffInstance(View view) {
OffPanel off = (OffPanel)viewsWithOff.get(view);
if (off == null) {
IDE ide = new JEditIDE();
off = new JEditOffPanel(ide, settings, new JEditProjectViewerProject(view));
viewsWithOff.put(view, off);
view.addWindowListener(windowAdapter);
}
return off;