equal
deleted
inserted
replaced
3809 ! |
3809 ! |
3810 |
3810 |
3811 preferredExtent |
3811 preferredExtent |
3812 "returns the preferred extent" |
3812 "returns the preferred extent" |
3813 |
3813 |
3814 ^super preferredExtent max: (Screen current width//3)@(Screen current height//3.5) |
3814 ^ super preferredExtent max: (Screen current width//3)@(Screen current height//3.5) |
3815 |
|
3816 |
|
3817 ! ! |
3815 ! ! |
3818 |
3816 |
3819 !ImageEditor methodsFor:'selection'! |
3817 !ImageEditor methodsFor:'selection'! |
3820 |
3818 |
3821 magnification |
3819 magnification |