1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-21 13:47:59 +01:00

Fix option shortname clashes.

This commit is contained in:
Kris Maglione
2011-09-28 20:48:27 -04:00
parent c9b72a9607
commit 117baf311f
2 changed files with 4 additions and 4 deletions

View File

@@ -2272,11 +2272,11 @@ var Buffer = Module("buffer", {
}
});
options.add(["scrolltime", "st"],
options.add(["scrolltime", "sct"],
"The time, in milliseconds, in which to smooth scroll to a new position",
"number", 100);
options.add(["scrollsteps", "ss"],
options.add(["scrollsteps", "scs"],
"The number of steps in which to smooth scroll to a new position",
"number", 5,
{