REVIEW: 114749

Even more quick way to switch to a previous document: show opened docs
list (project files) only if user holds a `Ctrl` for awhile (~200ms),
otherwise just quick-quick-switch to a previous document w/o flikering
w/ widgets...

inspired by this
BUG: 324348