equal
deleted
inserted
replaced
821 changeInAllCheckBox model:self changeFontInAllViewsHolder. |
821 changeInAllCheckBox model:self changeFontInAllViewsHolder. |
822 changeInAllCheckBox visibilityChannel:self withChangeFontInAllViewsCheckBoxVisibleHolder. |
822 changeInAllCheckBox visibilityChannel:self withChangeFontInAllViewsCheckBoxVisibleHolder. |
823 |
823 |
824 updateHeight := |
824 updateHeight := |
825 [ |
825 [ |
826 |filterBoxHeight| |
826 self sensor |
827 |
827 pushUserEvent:#value |
828 filterBoxHeight := filterBox preferredHeight. |
828 for:[ |
829 previewAndFontSelectionPanel layout bottomOffset:(filterBoxHeight negated). |
829 |filterBoxHeight| |
830 filterBox layout topOffset:(filterBoxHeight negated). |
830 |
831 previewAndFontSelectionPanel layoutChanged. |
831 filterBoxHeight := filterBox preferredHeight. |
832 filterBox layoutChanged. |
832 previewAndFontSelectionPanel layout bottomOffset:(filterBoxHeight negated). |
|
833 filterBox layout topOffset:(filterBoxHeight negated). |
|
834 |
|
835 previewAndFontSelectionPanel layoutChanged. |
|
836 filterBox layoutChanged. |
|
837 ] |
833 ]. |
838 ]. |
834 |
839 |
835 updateHeight value. |
840 updateHeight value. |
836 self withChangeFontInAllViewsCheckBoxVisibleHolder onChangeEvaluate:updateHeight. |
841 self withChangeFontInAllViewsCheckBoxVisibleHolder |
|
842 onChangeEvaluate:updateHeight. |
837 |
843 |
838 " |
844 " |
839 FontPanel new showAtPointer |
845 FontPanel new showAtPointer |
840 FontPanel fontFromUser |
846 FontPanel fontFromUser |
841 " |
847 " |