540 |
|
|
541 |
// left mouse button double click |
// left mouse button double click |
542 |
if (event->type == GDK_2BUTTON_PRESS && event->button == 1) { |
if (event->type == GDK_2BUTTON_PRESS && event->button == 1) { |
543 |
// show dimension manager dialog for this region |
if (event->y < REGION_BLOCK_HEIGHT) { |
544 |
manage_dimensions(); |
// show dimension manager dialog for this region |
545 |
|
manage_dimensions(); |
546 |
|
} |
547 |
} |
} |
548 |
|
|
549 |
if (event->y >= REGION_BLOCK_HEIGHT) return true; |
if (event->y >= REGION_BLOCK_HEIGHT) return true; |