[MIN] GUI, Editor View: change representation of recently opened files