jEdit - Programmer's Text Editor

>>405
自己責任で private 破る覚悟があるなら↓でいけるんじゃないかな。
setAccessibility(true); try { view.getDockableWindowManager().getLeftDockingArea().setDimension(100); } finally { setAccessibility(false); }