538 |
} |
} |
539 |
} |
} |
540 |
|
|
541 |
|
// left mouse button double click |
542 |
|
if (event->type == GDK_2BUTTON_PRESS && event->button == 1) { |
543 |
|
// show dimension manager dialog for this region |
544 |
|
manage_dimensions(); |
545 |
|
} |
546 |
|
|
547 |
if (event->y >= REGION_BLOCK_HEIGHT) return true; |
if (event->y >= REGION_BLOCK_HEIGHT) return true; |
548 |
if (event->type == GDK_BUTTON_PRESS && event->button == 3) { |
if (event->type == GDK_BUTTON_PRESS && event->button == 3) { |
549 |
gig::Region* r = get_region(k); |
gig::Region* r = get_region(k); |