Repository navigation

Reintroduce spotlight/"important traits" feature - #74111

Closed

Manishearth wants to merge 4 commits into

rust-lang:masterfrom

Manishearth:re-spotlight

Closed

Reintroduce spotlight/"important traits" feature#74111
Manishearth wants to merge 4 commits into
rust-lang:masterfrom
Manishearth:re-spotlight

Commits on Jul 6, 2020
- Revert "Remove "important traits" feature"
  Manishearth
  committed
  1cff03d
- Revert "Remove spotlight usage"
  Manishearth
  committed
  7539451
- Move spotlight next to the return type
  Manishearth
  committed
  f2b7e83
Commits on Jul 7, 2020
- Make spotlight show on hover
  Manishearth
  committed
  b65fa84