diff options
| author | Alex Crichton <alex@alexcrichton.com> | 2013-09-30 15:35:29 -0700 |
|---|---|---|
| committer | Alex Crichton <alex@alexcrichton.com> | 2013-09-30 20:31:19 -0700 |
| commit | cc1791584f24f5cc734f2fe0a8d3937a72193076 (patch) | |
| tree | 87d5b9c8ed5ec2a83ce0fbf97e434b274269b369 /src/librustdoc/rustdoc.rs | |
| parent | 863555f4fd9d8b0bd838420f69e4c2d84ac1dff9 (diff) | |
| download | rust-cc1791584f24f5cc734f2fe0a8d3937a72193076.tar.gz rust-cc1791584f24f5cc734f2fe0a8d3937a72193076.zip | |
rustdoc: Detect repeated keys and fix width
When a key is pressed and held, this now does the OS-style repeating after a bit of a pause. Also fixes the width of search results to be correct (was changed beforehand and didn't catch this).
Diffstat (limited to 'src/librustdoc/rustdoc.rs')
0 files changed, 0 insertions, 0 deletions