nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-04-28 11:07:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove event propagation calls. Adjust column spacing for filter panel to give more space for buttons on smaller screens.

Browse Source
This commit is contained in:
Spencer Will 2024-07-07 18:53:53 -04:00 committed by xFrednet
parent 8bfd992953
commit 6ae5fd958f
No known key found for this signature in database
GPG Key ID: F5C59D0E669E5302
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
util/gh-pages/index.html
View File

@ -419,7 +419,7 @@ Otherwise, have a great day =^.^=
<div class="panel panel-default" ng-show="data"> <div class="panel panel-default" ng-show="data">
<div class="panel-body row"> <div class="panel-body row">
<div id="upper-filters" class="col-12 col-md-6"> <div id="upper-filters" class="col-12 col-md-5">
<div class="btn-group" filter-dropdown> <div class="btn-group" filter-dropdown>
<button type="button" class="btn btn-default dropdown-toggle"> <button type="button" class="btn btn-default dropdown-toggle">
Lint levels <span class="badge">{{selectedValuesCount(levels)}}</span> <span class="caret"></span> Lint levels <span class="badge">{{selectedValuesCount(levels)}}</span> <span class="caret"></span>
@ -538,7 +538,7 @@ Otherwise, have a great day =^.^=
</ul> </ul>
</div> </div>
</div> </div>
<div class="col-12 col-md-6 search-control"> <div class="col-12 col-md-5 search-control">
<div class="input-group"> <div class="input-group">
<label class="input-group-addon" id="filter-label" for="search-input">Filter:</label> <label class="input-group-addon" id="filter-label" for="search-input">Filter:</label>
<input type="text" class="form-control filter-input" placeholder="Keywords or search string" id="search-input" <input type="text" class="form-control filter-input" placeholder="Keywords or search string" id="search-input"
@ -552,10 +552,10 @@ Otherwise, have a great day =^.^=
</div> </div>
</div> </div>
<div class="col-12 col-md-2 btn-group expansion-group"> <div class="col-12 col-md-2 btn-group expansion-group">
<button title="Collapse All" class="btn btn-default expansion-control" type="button" ng-click="toggleExpansion(data, false); $event.stopPropagation()"> <button title="Collapse All" class="btn btn-default expansion-control" type="button" ng-click="toggleExpansion(data, false)">
<span class="glyphicon glyphicon-collapse-up"></span> <span class="glyphicon glyphicon-collapse-up"></span>
</button> </button>
<button title="Expand All" class="btn btn-default expansion-control" type="button" ng-click="toggleExpansion(data, true); $event.stopPropagation()"> <button title="Expand All" class="btn btn-default expansion-control" type="button" ng-click="toggleExpansion(data, true)">
<span class="glyphicon glyphicon-collapse-down"></span> <span class="glyphicon glyphicon-collapse-down"></span>
</button> </button>
</div> </div>