mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-01 13:11:39 +07:00
Updated PyCharm Edu name in UI according to EDU-440 Build for PyCharm Edu 2 screencasts
This commit is contained in:
+1
-1
@@ -36,7 +36,7 @@ public class StudyInstructionPainter extends EditorEmptyTextPainter {
|
||||
|
||||
UIUtil.TextPainter painter = new UIUtil.TextPainter().withLineSpacing(1.5f);
|
||||
|
||||
painter.appendLine("Educational Edition").underlined(new JBColor(Gray._150, Gray._180));
|
||||
painter.appendLine("PyCharm Edu").underlined(new JBColor(Gray._150, Gray._180));
|
||||
addAction(painter, "Navigate to the next answer placeholder", StudyNextWindowAction.ACTION_ID, StudyNextWindowAction.SHORTCUT2, true);
|
||||
String shortcut1 = getShortcutText(StudyPrevWindowAction.ACTION_ID, StudyPrevWindowAction.SHORTCUT, false, false);
|
||||
String shortcut2 = getShortcutText(StudyNextWindowAction.ACTION_ID, StudyNextWindowAction.SHORTCUT, false, false);
|
||||
|
||||
Reference in New Issue
Block a user