Commit 4ba540dc authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix spinner icons.

parent c709ab84
......@@ -51,6 +51,7 @@
<div class="why3-separator" style="width:2em;"></div>
<div class="why3-button-group">
<span id="why3-format-label" class="fas fa-spin fa-spinner why3-icon"></span>
<select id="why3-select-format"
title="Choose an input format">
<option disabled="disabled" selected="selected">&nbsp;</option>
......@@ -60,7 +61,7 @@
<div class="why3-separator" style="width:2em;"></div>
<div class="why3-button-group">
<span id="why3-example-label" class="fas fa-spin fa-refresh why3-icon"></span>
<span id="why3-example-label" class="fas fa-spin fa-spinner why3-icon"></span>
<select id="why3-select-example"
title="Choose a predefined example">
<option disabled="disabled" selected="selected">&nbsp;</option>
......
......@@ -314,6 +314,7 @@ module ContextMenu =
module FormatList = struct
let select_format = getElement AsHtml.select "why3-select-format"
let format_label = getElement AsHtml.span "why3-format-label"
let selected_format = ref ""
......@@ -375,6 +376,7 @@ module FormatList = struct
let fresh = !formats = [] in
formats := l;
List.iter (fun (name, _) -> add_format name) l;
format_label ##. className := Js.string "fas fa-code why3-icon";
if fresh then
if !selected_format <> "" then
resolve_format (Js.string !selected_format)
......@@ -398,7 +400,7 @@ module ExampleList =
let set_loading_label b =
select_example ##. disabled := Js.bool b;
if b then
example_label ##. className := Js.string "fas fa-spin fa-refresh why3-icon"
example_label ##. className := Js.string "fas fa-spin fa-spinner why3-icon"
else
example_label ##. className := Js.string "fas fa-book why3-icon"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment