iee/org.eclipse.iee.editor — Issue #10: 8 points on the border when resizing
Author: egor1989
Created: 2011-10-26 11:37:02+00:00
State: open