IdeaJHelp.java

/*
 * Copyright 2000-2012 JetBrains s.r.o.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package com.intellij.help.impl;

import com.intellij.util.ui.GraphicsUtil;

import javax.help.DefaultHelpModel;
import javax.help.HelpSet;
import javax.help.JHelp;
import java.awt.*;
import java.util.Vector;

/**
 * It a dirty patch! Help system is so ugly that it hangs when it open some "external" links.
 * To prevent this we open "external" links in nornal WEB browser.
 *
 * @author Vladimir Kondratyev
 */
class IdeaJHelp extends JHelp{
  /**
   * PATCHED VERSION OF SUPER CONSTRUCTOR
   */
  public IdeaJHelp(HelpSet hs){
    super(new DefaultHelpModel(hs));

    navigators=new Vector();
    navDisplayed=true;

    // HERE -- need to do something about doc title changes....

    this.contentViewer=new IdeaJHelpContentViewer(helpModel);

    setModel(helpModel);
    if(helpModel!=null){
      setupNavigators();
    }

    updateUI();
  }

  @Override
  public void paint(Graphics g) {
    GraphicsUtil.setupAntialiasing(g);
    super.paint(g);
  }
}