'From Cuis 5.0 [latest update: #4194] on 31 May 2020 at 8:07:28 am'!

!Theme methodsFor: 'other options' stamp: 'KenD 5/31/2020 08:09:44'!
layoutAdjusterThickness

	self flag: #todo.  "Revisit this; consider moving proportional stuff out of Theme entirely."
	
	^ Preferences standardListFont pointSize // 2! !
