mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-27 01:10:30 +09:00
Add InfoBuf's method AddToHistory function which adds a new item to the history for the prompt type `ptype`. This function is not used by micro itself. It is useful for plugins which add their own items to the history, bypassing the infobar command line.