export const TOGGLE_VISIBILITY = '@@redux-devtools-log-monitor/TOGGLE_VISIBILITY' ; interface ToggleVisibilityAction { type : typeof TOGGLE_VISIBILITY ; } export function toggleVisibility ( ) { return { type : TOGGLE_VISIBILITY } ; } export const CHANGE_POSITION = '@@redux-devtools-log-monitor/CHANGE_POSITION' ; interface ChangePositionAction { type : typeof CHANGE_POSITION ; } export function changePosition ( ) { return { type : CHANGE_POSITION } ; } export const CHANGE_SIZE = '@@redux-devtools-log-monitor/CHANGE_SIZE' ; interface ChangeSizeAction { type : typeof CHANGE_SIZE ; size : number ; } export function changeSize ( size ) { return { type : CHANGE_SIZE , size : size } ; } export const CHANGE_MONITOR = '@@redux-devtools-log-monitor/CHANGE_MONITOR' ; interface ChangeMonitorAction { type : typeof CHANGE_MONITOR ; } export function changeMonitor ( ) { return { type : CHANGE_MONITOR } ; } export type DockMonitorAction = ToggleVisibilityAction | ChangePositionAction | ChangeSizeAction | ChangeMonitorAction ;