author | Dmitry Jemerov <yole@jetbrains.com> | |
Tue, 31 Jan 2012 15:35:41 +0000 (16:35 +0100) | ||
committer | Dmitry Jemerov <yole@jetbrains.com> | |
Tue, 31 Jan 2012 15:35:41 +0000 (16:35 +0100) | ||
commit | 18760daccb937198120a1660814782cdc38d3512 | |
tree | ef179cfe206edc6d91a9de0d1c48ddb8f16c49a6 | tree |
parent | 515722f65c276b8070eec98276182770f8eb0984 | commit | diff |
platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java | diff | blob | history |