[project] IDE launcher in Windows jump list instead of the custom one (IDEA-156078)
[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
18 import com.intellij.openapi.editor.colors.EditorColorsManager;
19 import com.intellij.openapi.editor.colors.EditorColorsScheme;
20 import com.intellij.openapi.project.Project;
21 import com.intellij.ui.BrowserHyperlinkListener;
22 import com.intellij.ui.ColorUtil;
23 import com.intellij.ui.components.JBScrollPane;
24 import com.intellij.util.ui.UIUtil;
25
26 import javax.swing.*;
27 import javax.swing.border.EmptyBorder;
28 import javax.swing.text.html.HTMLDocument;
29 import javax.swing.text.html.HTMLEditorKit;
30 import java.awt.*;
31
32 public class StudySwingToolWindow extends StudyToolWindow {
33   private JTextPane myTaskTextPane;
34
35   public StudySwingToolWindow() {
36     super();
37   }
38
39   @Override
40   public JComponent createTaskInfoPanel(Project project) {
41     myTaskTextPane = new JTextPane();
42     final JBScrollPane scrollPane = new JBScrollPane(myTaskTextPane);
43     myTaskTextPane.setContentType(new HTMLEditorKit().getContentType());
44     final EditorColorsScheme editorColorsScheme = EditorColorsManager.getInstance().getGlobalScheme();
45     int fontSize = editorColorsScheme.getEditorFontSize();
46     final String fontName = editorColorsScheme.getEditorFontName();
47     final Font font = new Font(fontName, Font.PLAIN, fontSize);
48     String bodyRule = "body { font-family: " + font.getFamily() + "; " +
49                       "font-size: " + font.getSize() + "pt; }" +
50                       "pre {font-family: Courier; display: inline; ine-height: 50px; padding-top: 5px; padding-bottom: 5px; padding-left: 5px; background-color:"
51                       + ColorUtil.toHex(ColorUtil.dimmer(UIUtil.getPanelBackground())) + ";}" +
52                       "code {font-family: Courier; display: flex; float: left; background-color:"
53                       + ColorUtil.toHex(ColorUtil.dimmer(UIUtil.getPanelBackground())) + ";}";
54     ((HTMLDocument)myTaskTextPane.getDocument()).getStyleSheet().addRule(bodyRule);
55     myTaskTextPane.setEditable(false);
56     if (!UIUtil.isUnderDarcula()) {
57       myTaskTextPane.setBackground(EditorColorsManager.getInstance().getGlobalScheme().getDefaultBackground());
58     }
59     myTaskTextPane.setBorder(new EmptyBorder(20, 20, 0, 10));
60     myTaskTextPane.addHyperlinkListener(BrowserHyperlinkListener.INSTANCE);
61     return scrollPane;
62   }
63
64   public void setText(String text) {
65     myTaskTextPane.setText(text);
66   }
67 }
68