Lines Matching defs:info
417 int info[] = getDragBoxInfo();
418 fillPageBox(g, w, h, info);
419 drawDragBox(g, w-1, h-1, info);
467 private void fillPageBox(Graphics g, int w, int h, int info[]) {
471 g.fillRect(1, w, w-2, info[0]-w);
473 g.fillRect(1, info[0]+info[1]+1, w-2,
474 h-(w+info[0]+info[1])-1);
478 g.fillRect(h, 1, info[0]-h, h-2);
480 g.fillRect(info[0]+info[1]+1, 1,
481 w-(h+info[0]+info[1])-1, h-2);
486 private void drawDragBox(Graphics g, int w, int h, int info[]) {
488 drawBox(g, 0, info[0], w, info[1]);
490 drawBox(g, info[0], 0, info[1], h);
495 int info[] = new int[2];
513 info[0] = (int)xory;
514 info[1] = (int)worh;
516 return info;
630 int info[] = getDragBoxInfo();
631 if (y >= (w+1) && y < info[0]) {
633 } else if (y >= info[0]+info[1] && y < (h-w)) {
635 } else if (y >= info[0] && y < info[0]+info[1]) {
646 int info[] = getDragBoxInfo();
647 if (x >= (h+1) && x < info[0]) {
649 } else if (x >= info[0]+info[1] && x < (w-h)) {
651 } else if (x >= info[0] && x < info[0]+info[1]) {
769 int info[] = getDragBoxInfo();
772 dragSpace = size.height - size.width*2 - info[1];
774 dragSpace = size.width - size.height*2 - info[1];
938 int info[] = scrollbar.getDragBoxInfo();
940 if (pos < info[0]) {
942 } else if (pos >= info[0]+info[1]) {