Skip to content

Commit

Permalink
More Bootstrap 4 fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
achlipala committed Jun 11, 2018
1 parent a4a48d1 commit 065dd9c
Show file tree
Hide file tree
Showing 6 changed files with 9 additions and 9 deletions.
2 changes: 1 addition & 1 deletion editableTable.ur
Expand Up @@ -212,7 +212,7 @@ functor Make(M : sig
set r.Editing None;
rpc (mod {Old = r.Content,
New = vs})}>
<span class="glyphicon glyphicon-ok"/>
<span class="glyphicon glyphicon-check"/>
</button>
<button class="btn"
onclick={fn _ => set r.Editing None}>
Expand Down
4 changes: 2 additions & 2 deletions finalGrades.ur
Expand Up @@ -274,7 +274,7 @@ functor Make(M : sig
rpc (setRanges ar')
end
| _ => error <xml>FinalGrades: Unknown bound spec</xml>}>
<span class="glyphicon glyphicon-ok"/>
<span class="glyphicon glyphicon-check"/>
</button>
<button class="btn btn-sm"
onclick={fn _ => set rb None}>
Expand Down Expand Up @@ -391,7 +391,7 @@ functor Make(M : sig
g <- return (@Variant.fromString gfl grades g);
set gr g;
rpc (setSpecialCase key g)}>
<span class="glyphicon glyphicon-ok"/>
<span class="glyphicon glyphicon-check"/>
</button>
<button class="btn btn-sm"
onclick={fn _ => set newgr None}>
Expand Down
2 changes: 1 addition & 1 deletion openBallot.ur
Expand Up @@ -342,7 +342,7 @@ functor Make(M : sig
<xml><button class="btn"
onclick={fn _ => set ch.ShowVoters False}>
<span class="glyphicon glyphicon-chevron-left"/>
</button>></xml>}
</button></xml>}

{List.mapX (fn (k, n) => <xml><br/>{[k]}{case maxVotesPerVoter of
Some 1 => <xml/>
Expand Down
4 changes: 2 additions & 2 deletions rsvp2.ur
Expand Up @@ -327,7 +327,7 @@ functor Make(M : sig
<div>({[count]} attendee{[if count = 1 then "" else "s"]})</div>
{if List.exists (fn ho => ho.Home = t.Self) hos then
<xml>
<span class="glyphicon glyphicon-ok"/>
<span class="glyphicon glyphicon-check"/>
<span>Attending</span>
<button class="btn btn-primary"
value="Un-RSVP"
Expand Down Expand Up @@ -596,7 +596,7 @@ functor Make(M : sig
<div>{M.render ev.Data}</div>
{if regd then
<xml>
<span class="glyphicon glyphicon-ok"/>
<span class="glyphicon glyphicon-check"/>
<span>Attending</span>
<button class="btn btn-primary"
value="Un-RSVP"
Expand Down
2 changes: 1 addition & 1 deletion submission.ur
Expand Up @@ -117,7 +117,7 @@ functor Make(M : sig
return (case st of
Idle => CLASS ""
| Uploading => CLASS "glyphicon glyphicon-cloud-upload"
| Uploaded _ => CLASS "glyphicon glyphicon-ok"
| Uploaded _ => CLASS "glyphicon glyphicon-check"
| Error => CLASS "glyphicon glyphicon-fire")}/>
{up}
</span>
Expand Down
4 changes: 2 additions & 2 deletions todo.ur
Expand Up @@ -595,7 +595,7 @@ functor Make(M : sig
<td>{[r.Due]}</td>
<td>{[r.Assignee]}</td>
<td>{case r.Done of
Some True => <xml><span class="glyphicon glyphicon-ok"/></xml>
Some True => <xml><span class="glyphicon glyphicon-check"/></xml>
| _ => <xml></xml>}</td>
</tr></xml>) a}
</table>
Expand Down Expand Up @@ -637,7 +637,7 @@ functor Make(M : sig
else
<xml>{[r.Due]}</xml>}</td>
<td>{case r.Done of
Some True => <xml><span class="glyphicon glyphicon-ok"/></xml>
Some True => <xml><span class="glyphicon glyphicon-check"/></xml>
| _ => <xml></xml>}</td>
</tr></xml>) a}
</table>
Expand Down

0 comments on commit 065dd9c

Please sign in to comment.