diff --git a/src/Disp.js b/src/Disp.js index b150200..74ff8cb 100644 --- a/src/Disp.js +++ b/src/Disp.js @@ -957,6 +957,7 @@ CM.Disp.AddMenuPref = function(title) { frag.appendChild(listing('Stats')); frag.appendChild(listing('UpStats')); frag.appendChild(listing('SayTime')); + frag.appendChild(listing('TimeFormat')); frag.appendChild(header('Other')); frag.appendChild(listing('Scale'));