IDEA-123113 Tool window: stripe button text differs from View|Tool Windows