EDU-543 IAE in StudyBrowser if several projects opened
[idea/community.git] / python / educational-core / student / src / com / jetbrains / edu / learning / ui / StudySwingToolWindow.java
1 /*
2  * Copyright 2000-2015 JetBrains s.r.o.
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  * http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 package com.jetbrains.edu.learning.ui;
17 import com.intellij.openapi.editor.colors.EditorColorsManager;
18 import com.intellij.openapi.editor.colors.EditorColorsScheme;
19 import com.intellij.openapi.project.Project;
20 import com.intellij.ui.BrowserHyperlinkListener;
21 import com.intellij.ui.ColorUtil;
22 import com.intellij.util.ui.UIUtil;
23
24 import javax.swing.*;
25 import javax.swing.border.EmptyBorder;
26 import javax.swing.text.html.HTMLDocument;
27 import javax.swing.text.html.HTMLEditorKit;
28 import java.awt.*;
29
30 public class StudySwingToolWindow extends StudyToolWindow {
31   private JTextPane myTaskTextPane;
32
33   public StudySwingToolWindow() {
34     super();
35   }
36
37   @Override
38   public JComponent createTaskInfoPanel(String taskText, Project project) {
39     myTaskTextPane = new JTextPane();
40     myTaskTextPane.setContentType(new HTMLEditorKit().getContentType());
41     final EditorColorsScheme editorColorsScheme = EditorColorsManager.getInstance().getGlobalScheme();
42     int fontSize = editorColorsScheme.getEditorFontSize();
43     final String fontName = editorColorsScheme.getEditorFontName();
44     final Font font = new Font(fontName, Font.PLAIN, fontSize);
45     String bodyRule = "body { font-family: " + font.getFamily() + "; " +
46                       "font-size: " + font.getSize() + "pt; }" +
47                       "pre {font-family: Courier; display: inline; ine-height: 50px; padding-top: 5px; padding-bottom: 5px; padding-left: 5px; background-color:"
48                       + ColorUtil.toHex(ColorUtil.dimmer(UIUtil.getPanelBackground())) + ";}" +
49                       "code {font-family: Courier; display: flex; float: left; background-color:"
50                       + ColorUtil.toHex(ColorUtil.dimmer(UIUtil.getPanelBackground())) + ";}";
51     ((HTMLDocument)myTaskTextPane.getDocument()).getStyleSheet().addRule(bodyRule);
52     myTaskTextPane.setEditable(false);
53     if (!UIUtil.isUnderDarcula()) {
54       myTaskTextPane.setBackground(EditorColorsManager.getInstance().getGlobalScheme().getDefaultBackground());
55     }
56     myTaskTextPane.setBorder(new EmptyBorder(15, 20, 0, 100));
57     myTaskTextPane.setText(taskText);
58     myTaskTextPane.addHyperlinkListener(BrowserHyperlinkListener.INSTANCE);
59     return myTaskTextPane;
60   }
61
62   public void setTaskText(String text) {
63     myTaskTextPane.setText(text);
64   }
65 }
66