-
Benno Schulenberg authored
Also rename some things to be more fitting. And make sure that something will be selected even when many files, including the selected one, have disappeared.
c6ec435a
Also rename some things to be more fitting. And make sure that something will be selected even when many files, including the selected one, have disappeared.