Merge pull request #3042 from emanuelschuetze/3028

Improved go to line number tooltip/popup. (#3028)
This commit is contained in:
Norman Jäckel 2017-03-05 20:20:25 +01:00 committed by GitHub
commit 1fdb3a4f2a
2 changed files with 15 additions and 2 deletions

View File

@ -1526,6 +1526,16 @@ img {
display: inline !important;
}
.popover-wrapper .small-form input{
width: 100px;
height: 30px;
}
.popover-wrapper .small-form button{
padding: 5px 10px;
font-size: 12px;
line-height: 1.5;
}
@keyframes fade-out {
0% { opacity: 1; background: none; }
100% { opacity: 0; background: none; }

View File

@ -49,13 +49,16 @@
<!-- go to line number -->
<div class="popover-wrapper">
<span editable-text="gotoLinenumber" e-form="lineNumberForm"
<span editable-number="gotoLinenumber" e-min="1" e-form="lineNumberForm"
e-placeholder="{{ 'Line' | translate }}"
e-formclass="small-form"
onaftersave="scrollToAndHighlight(gotoLinenumber)">
</span>
<button type="button" class="btn btn-sm btn-default"
ng-click="lineNumberForm.$show()"
ng-if="lineNumberMode != 'none'"
uib-tooltip="{{ 'Jump to a given line' | translate }}"
uib-tooltip="{{ 'Jump to a given line number' | translate }}"
tooltip-placement="bottom"
tooltip-class="nobr">
<i class="fa fa-share"></i>
<translate>go</translate>