gnome-shell/js
Pascal Nowack 2b1f664aed history: Stop saving non-consecutive duplicate entries
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
2018-09-26 08:38:47 +02:00
..
extensionPrefs dbus: Move all interface descriptions into the resource 2018-09-17 07:34:49 +00:00
gdm dbus: Move all interface descriptions into the resource 2018-09-17 07:34:49 +00:00
misc history: Stop saving non-consecutive duplicate entries 2018-09-26 08:38:47 +02:00
perf scripting: Fix argument list of createTestWindow() 2018-04-25 23:47:06 +02:00
portalHelper dbus: Move all interface descriptions into the resource 2018-09-17 07:34:49 +00:00
ui networkAgent: Ask for wifi secrets in the hints paremeter 2018-09-26 00:34:22 +00:00
js-resources.gresource.xml build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
meson.build build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml dbus: Move all interface descriptions into the resource 2018-09-17 07:34:49 +00:00
prefs-resources.gresource.xml build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00