Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We call search.clear() a lot, even before the stylesheet JS was initialized.
After we've done a search, we can be sure that it is inited, and we only need
to hide the scrollbar there.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Improves performance dramatically when all titles change at once, such
as when the first tab is removed.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This renames javascript.convert_js_arg() to javascript.to_js() and uses that
instead of string_escape() where possible.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|