bafd9c777a
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 |