export const windowSize = { minimized : { width : 70 , height : 60 } , initial : { width : 380 , height : 280 } , max : { width : 1000 , height : 800 } } ; export const ignoreChars = [ '_' , '.' ] ; export const defaultPlaceholder = "Write right here ..." ; export const defaultPluginSetting = { autoFocusOnSelectionChange : false , autoSwitchToBatch : false , liveWrap : true , suggestFormatting : true } ;