SystemOrganization addCategory: #'OB-Pharo-Platform'!

OBPlatform subclass: #OBPharoPlatform
	instanceVariableNames: ''
	classVariableNames: ''
	poolDictionaries: ''
	category: 'OB-Pharo-Platform'!

!OBPharoPlatform class methodsFor: 'initialization' stamp: 'lr 11/16/2011 19:37'!
initialize
	self current: self new! !

!OBPharoPlatform methodsFor: 'preferences' stamp: 'lr 11/14/2011 20:29'!
annotationRequests
	^ CodeHolder annotationRequests! !

!OBPharoPlatform methodsFor: 'preferences' stamp: 'lr 11/14/2011 20:37'!
buttonHeight
	^ self theme buttonMinHeight! !

!OBPharoPlatform methodsFor: 'preferences' stamp: 'lr 11/14/2011 20:36'!
fieldHeight
	^ StandardFonts codeFont height * 1.2! !

!OBPharoPlatform methodsFor: 'preferences' stamp: 'lr 11/14/2011 20:37'!
menuWithIcons
	^ self theme settings menuWithIcons! !

!OBPharoPlatform methodsFor: 'preferences' stamp: 'lr 11/14/2011 20:36'!
optionalButtons
	^ CodeHolder optionalButtons! !

!OBPharoPlatform methodsFor: 'preferences' stamp: 'lr 11/14/2011 20:36'!
showAnnotationPane
	^ CodeHolder showAnnotationPane! !

!OBPharoPlatform methodsFor: 'accessing' stamp: 'lr 11/14/2011 20:36'!
theme
	^ UITheme current! !
OBPharoPlatform initialize!