equal
deleted
inserted
replaced
801 x := extent x. |
801 x := extent x. |
802 |
802 |
803 x <= (self extent x) ifTrue:[ |
803 x <= (self extent x) ifTrue:[ |
804 y := extent y. |
804 y := extent y. |
805 ] ifFalse:[ |
805 ] ifFalse:[ |
806 y := tabView preferredHeight. |
806 y := tabView preferredSizeXorY. |
807 ]. |
807 ]. |
808 y := y + 8. |
|
809 tabView bottomInset:(y negated). |
808 tabView bottomInset:(y negated). |
810 window topInset:y. |
809 window topInset:y. |
811 |
810 |
812 |
811 |
813 ! |
812 ! |
814 |
813 |
815 update:something with:aParameter from:changedObject |
814 update:something with:aParameter from:changedObject |
816 "tabView might change its size |
815 "tabView might change its size |
817 " |
816 " |
818 (something == #preferredHeight and:[changedObject == tabView]) ifFalse:[ |
817 (something == #preferredExtent and:[changedObject == tabView]) ifFalse:[ |
819 ^ self |
818 ^ self |
820 ]. |
819 ]. |
821 self recomputeSizes |
820 self recomputeSizes |
822 |
821 |
823 |
822 |
914 |
913 |
915 tabView tabWidget:#Window. |
914 tabView tabWidget:#Window. |
916 tabView useIndex:true. |
915 tabView useIndex:true. |
917 |
916 |
918 tabView styleAt:#expandSelection put:6@2. |
917 tabView styleAt:#expandSelection put:6@2. |
919 tabView styleAt:#labelBottomInset put:4. |
|
920 tabView styleAt:#lableTopInset put:0. |
|
921 tabView font:(Label defaultFont). |
918 tabView font:(Label defaultFont). |
922 tabView addDependent:self. |
919 tabView addDependent:self. |
923 self delegate:(KeyboardForwarder from:self toView:tabView). |
920 self delegate:(KeyboardForwarder from:self toView:tabView). |
924 |
921 |
925 window viewBackground:(tabView styleAt:#selectedColor). |
922 window viewBackground:(tabView styleAt:#selectedColor). |