coq - `Reset` not working in CoqIDE -

neither reset <sectionname>. nor reset <globalconstant>. nor reset initial. works in coqide interactive sessions. message is

error: use coqide navigation instead 

the resets i've seen work reset extraction blacklist. , reset extraction inline.. below's copy of info > about. in advance ideas

**version information**  coq proof assistant, version 8.4pl3 (january 2014)   architecture linux running unix operating system gtk version 2.24.23   coqide.opt (opt best 1 architecture , os) 

if willing upgrade coq 8.5, coqide supports reset, undo, abort, restart... print warning advising use navigation commands instead when use them.