#4207 Make the button to show/hide the URL to checkout locally a PR more visible
Merged 5 years ago by pingou. Opened 5 years ago by pingou.

@@ -467,7 +467,13 @@ 

            {% endif %}

    </div>

        <div class="small">

-         <p>Pull this pull-request locally <a href="#" id="local_pull_info_btn">v</a></p>

+         <p>

+           Pull this pull-request locally

+           <a href="#" id="local_pull_info_btn">

+             <span class="fa fa-arrow-circle-down fa-fw fa-1x">

+             </span>

+           </a>

+         </p>

          <pre id="local_pull_info" style="display:none">git fetch {{ config.get('GIT_URL_GIT') }}{{ repo.fullname }}.git refs/pull/{{ pull_request.id }}/head:pr{{ pull_request.id }}</pre>

        </div>

      {% endif %}
@@ -971,10 +977,10 @@ 

      var _el = $('#local_pull_info');

      if (! _el.is(':visible')){

        _el.show();

-       $('#local_pull_info_btn').text('^');

+       $('#local_pull_info_btn').html('<span class="fa fa-arrow-circle-up fa-fw fa-1x">');

      } else {

        _el.hide();

-       $('#local_pull_info_btn').text('v');

+       $('#local_pull_info_btn').html('<span class="fa fa-arrow-circle-down fa-fw fa-1x">');

      }

      return false;

    });

Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr

pretty please pagure-ci rebuild

5 years ago

rebased onto 571c2b5e06918ff6da51cb14baea3e5ad7026f48

5 years ago

rebased onto 3008973

5 years ago

Thanks for the review :)

Pull-Request has been merged by pingou

5 years ago