mirror of
https://github.com/braver/programmingfonts.git
synced 2024-09-28 22:31:34 +02:00
commit
43aef578d9
18
index.html
18
index.html
@ -328,6 +328,7 @@ function updateGutters(cm) {
|
||||
|
||||
$("#font-info p").hide();
|
||||
$("." + font).show();
|
||||
updateHash();
|
||||
}
|
||||
|
||||
function setSize() {
|
||||
@ -340,7 +341,15 @@ function updateGutters(cm) {
|
||||
$(".CodeMirror").addClass("no-smooth");
|
||||
}
|
||||
}
|
||||
|
||||
function updateHash(){
|
||||
var newHash = '#' + $("#select-font").val();
|
||||
if(history.pushState) {
|
||||
history.pushState(null, null, newHash);
|
||||
}
|
||||
else {
|
||||
location.hash = newHash;
|
||||
}
|
||||
}
|
||||
$(document).ready(function(){
|
||||
|
||||
//randomly select a theme
|
||||
@ -376,7 +385,14 @@ function updateGutters(cm) {
|
||||
custom: { families: font_aliases }
|
||||
});
|
||||
|
||||
var hash = window.location.hash.substring(1);
|
||||
if(hash){
|
||||
$("#select-font").val(hash);
|
||||
}
|
||||
else {
|
||||
$("#select-font").val('input'); // default to this awesome font
|
||||
}
|
||||
|
||||
selectFont();
|
||||
});
|
||||
});
|
||||
|
Loading…
Reference in New Issue
Block a user