Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-shell
2b1f664aed
Whenever a command runs in the run dialog, it will be added to the history unless it is already the last entry. This does not apply for entries that are not consecutive, which can result in long chains of commands which alternate, e.g. lg, r, lg, r, lg, r. Not only is this wasteful in terms of space, but also inconsistent with how history works elsewhere, e.g. in the shell. Therefore, remove entries in the history that are equal to the one that will be added to the end of of the history when the entry already exists. https://gitlab.gnome.org/GNOME/gnome-shell/issues/524 |
||
---|---|---|
.settings | ||
browser-plugin | ||
data | ||
docs/reference | ||
js | ||
man | ||
meson | ||
po | ||
src | ||
subprojects | ||
tests | ||
tools | ||
.gitignore | ||
.gitmodules | ||
.project | ||
config.h.meson | ||
COPYING | ||
gnome-shell.doap | ||
HACKING.md | ||
meson_options.txt | ||
meson.build | ||
NEWS | ||
README.md |
GNOME Shell
GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to provide a visually attractive and easy to use experience.
For more information about GNOME Shell, including instructions on how to build GNOME Shell from source and how to get involved with the project, see the project wiki.
Bugs should be reported to the GNOME bug tracking system.
License
GNOME Shell is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.