nice dotted border
authorDmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Mon, 15 Feb 2010 09:32:48 +0000 (12:32 +0300)
committerDmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Mon, 15 Feb 2010 09:32:48 +0000 (12:32 +0300)
commit269d86febab1b5c2ec8c48b77d3eace4b38b4fd1
treea9a0a361fdb8ba118deb7fab43607a1ad4478cdd
parent8c52156fe3f6b948e64dbeca44a8500bfa7dc53e
nice dotted border
platform/platform-api/src/com/intellij/ui/EditorNotificationPanel.java
platform/util/src/com/intellij/ui/SideBorder.java