nice dotted border
authorDmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Mon, 15 Feb 2010 09:43:57 +0000 (12:43 +0300)
committerDmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Mon, 15 Feb 2010 09:43:57 +0000 (12:43 +0300)
commitc9a808c2842959a26e0d4635694d924d89476b6a
tree0553e28997fdbe4486cf157a892fe7bf0fc29958
parent269d86febab1b5c2ec8c48b77d3eace4b38b4fd1
nice dotted border
platform/platform-api/src/com/intellij/ui/EditorNotificationPanel.java