diff options
| author | Tor Norbye <tnorbye@google.com> | 2014-08-20 17:01:23 -0700 |
|---|---|---|
| committer | Tor Norbye <tnorbye@google.com> | 2014-08-20 17:01:23 -0700 |
| commit | 1aa2e09bdbd413eacb677e9fa4b50630530d0656 (patch) | |
| tree | 2f4cc6d69645bd460aa253fdecb606d764fbd25d /platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java | |
| parent | 02cf98d65c798d368fcec43ed64a001d513bdd4f (diff) | |
| download | idea-1aa2e09bdbd413eacb677e9fa4b50630530d0656.tar.gz | |
Snapshot idea/138.1696 from git://git.jetbrains.org/idea/community.git
Change-Id: I50c97b83a815ce635e49a38380ba5b8765e4b16a
Diffstat (limited to 'platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java')
| -rw-r--r-- | platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java b/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java index a842f623ac45..43f06bff2850 100644 --- a/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java +++ b/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java @@ -49,7 +49,7 @@ public class JBEditorTabs extends JBTabsImpl { private JBEditorTabsPainter myDefaultPainter = new DefaultEditorTabsPainter(); - public JBEditorTabs(@Nullable Project project, ActionManager actionManager, IdeFocusManager focusManager, @NotNull Disposable parent) { + public JBEditorTabs(@Nullable Project project, @NotNull ActionManager actionManager, IdeFocusManager focusManager, @NotNull Disposable parent) { super(project, actionManager, focusManager, parent); } |