So this bug can be fixed by replacing the appropriate (similar) code
in ReplView.java with
sashListener = new Listener () {
public void handleEvent (Event e) {
Rectangle sashRect = sash.getBounds ();
if( sashRect.height == 0){ // sash is not displayed
return;
}
Rectangle shellRect = notButtons.getClientArea ();
int top = shellRect.height - sashRect.height - limit;
if( e == null ){
e = new Event();
e.y = (shellRect.height*6)/10;
e.x = 0;
}
if (e.y!=0) { //becomes buggy if we allow e.y=0 to get into here
int ey = Math.max(Math.min(e.y, top), limit);
/* if( ey == 0) {
if( limit <= top){
if( sashRect.y <= limit ){
ey = limit;
} else if ( sashRect.y >= top ){
ey = top;
} else {
ey = sashRect.y;
}
} else {
ey = limit;
}
} else {
} */
//sashData.top = new FormAttachment (0,)
if (ey != sashRect.y) {
sashData.top = new FormAttachment (0, ey);
sashData.bottom = new FormAttachment (0, ey + 5);
notButtons.layout ();
}
}
}
};