github/overleaf
1
0
Fork 0
mirror of https://github.com/overleaf/overleaf.git synced 2024-11-07 20:31:06 -05:00
Code Issues Projects Releases Packages Wiki Activity

Add feedback widget for log hints.

Browse source
This commit is contained in:
Paulo Reis 2016-06-20 11:53:10 +01:00
parent 605bb07ba3
commit 1893ae68a9
2 changed files with 35 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
services/web/app/views/project/editor/pdf.jade
View file

@ -109,10 +109,16 @@ div.full-size.pdf(ng-controller="PdfController")
figure.card-hint-icon-container figure.card-hint-icon-container
i.fa.fa-lightbulb-o(aria-hidden="true") i.fa.fa-lightbulb-o(aria-hidden="true")
p.card-hint-text(ng-show="entry.humanReadableHint", ng-bind-html="entry.humanReadableHint") p.card-hint-text(ng-show="entry.humanReadableHint", ng-bind-html="entry.humanReadableHint")
.clearfix .card-hint-actions
a.btn.btn-sm.btn-default.pull-right(ng-href="{{ entry.extraInfoURL }}", target="_blank") .card-hint-action-ext-link
i.fa.fa-external-link a.btn.btn-sm.btn-default(ng-href="{{ entry.extraInfoURL }}", target="_blank")
| #{translate("log_entry_extra_info")} i.fa.fa-external-link
| #{translate("log_hint_extra_info")}
.card-hint-action-feedback
label.card-hint-enquiry-label #{translate("log_hint_enquiry_helpful")} 
.btn-group.btn-group-sm(role="group")
button.btn.btn-default #{translate("answer_yes")}
button.btn.btn-default #{translate("answer_no")}
p.entry-content(ng-show="entry.content") {{ entry.content }} p.entry-content(ng-show="entry.content") {{ entry.content }}
p p

26
services/web/public/stylesheets/app/editor/pdf.less
View file

@ -197,10 +197,34 @@
} }
} }
&-text { &-text,
&-enquiry-label {
color: @gray-dark; color: @gray-dark;
font-size: 0.9rem;
margin-bottom: 30px;
} }
&-enquiry-label {
font-size: 0.8rem;
margin-bottom: 0;
margin-right: 0.5em;
font-weight: normal;
}
&-actions {
}
&-action-ext-link,
&-action-feedback {
display: inline-block;
}
&-action-feedback {
float: right;
}
& + p { & + p {
margin-top: 20px; margin-top: 20px;
} }