mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-18 07:34:54 +00:00
If the user typed "a", hit up, and pressed enter again, we wouldn't re-set the history pointer to the end, so the broken navigation would instead go to the entry before that. https://bugzilla.gnome.org/show_bug.cgi?id=648765 |
||
|---|---|---|
| .. | ||
| config.js.in | ||
| docInfo.js | ||
| fileUtils.js | ||
| format.js | ||
| gnomeSession.js | ||
| history.js | ||
| modemManager.js | ||
| params.js | ||
| util.js | ||