let minibuffer_history_size = new CF.int_cp ~group ["minibuffer_history_size"] default_minibuffer_history_size "The size of histories in minibuffer"