Skip to content

rustdoc: web: don't reset the search bar #12439

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Feb 22, 2014
Merged

rustdoc: web: don't reset the search bar #12439

merged 1 commit into from
Feb 22, 2014

Conversation

emberian
Copy link
Member

rustdoc: web: don't reset the search bar

bors added a commit that referenced this pull request Feb 22, 2014
rustdoc: web: don't reset the search bar
@bors bors closed this Feb 22, 2014
@bors bors merged commit c9713ff into rust-lang:master Feb 22, 2014
// Synchronize search bar with query string state and
// perform the search, but don't empty the bar if there's
// nothing there.
if params.search !== undefined {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sadly I don't think JS has quite adopted rust syntax just yet :(

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ah crap

On Sat, Feb 22, 2014 at 3:24 PM, Alex Crichton [email protected]:

In src/librustdoc/html/static/main.js:

@@ -574,8 +579,12 @@
// When browsing forward to search results the previous search will be repeated,
// so the currentResults are cleared to ensure the search is successful.
currentResults = null;

  •                // Synchronize search bar with query string state and perform the search.
    
  •                $('.search-input').val(params.search);
    
  •                // Synchronize search bar with query string state and
    
  •                // perform the search, but don't empty the bar if there's
    
  •                // nothing there.
    
  •                if params.search !== undefined {
    

Sadly I don't think JS has quite adopted rust syntax just yet :(


Reply to this email directly or view it on GitHubhttps://github.com//pull/12439/files#r9972844
.

bors added a commit to rust-lang-ci/rust that referenced this pull request Jul 25, 2022
fix(completion): `super::` completion at crate root and module depth aware

- should close rust-lang#12439
- Suggest super according to the depth in tree
flip1995 pushed a commit to flip1995/rust that referenced this pull request Apr 18, 2024
fix ice reporting in lintcheck

Fixes rust-lang/rust-clippy#12185

This PR fixes the lack of reported ICEs within lintcheck by modifying the way in which data is collected from each crate being linted.

Instead of lintcheck only reading `stdout` for warnings, it now also reads `stderr` for any potential ICE (although admittedly, it is not the cleanest method of doing so). If it is detected, it parses the ICE into its message and backtrace separately, and then adds them to the list of outputs via clippy.

Once all outputs are collected, the formatter then proceeds to generate the file as normal.

Note that this PR also has a couple of side effects:
- When clippy fails to process a package, but said failure is not an ICE, the `stderr` will be sent to the console;
- Instead of `ClippyWarning` being the primary struct for everything reported, there is now `ClippyCheckOutput`, an enum which splits the outputs into warnings and ICEs.

changelog: none
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants