2f4da37fdb
Popup: * Enforce 200-800px range for the popup width option Manage: * faster search via cachedStyles.byId * faster restoration of search results on history nav * style name is clickable and opens the editor * animated highlight of style element on update/add/save * expandable extra applies-to targets * remember scroll position on normal history navigation * boz-sizing in #header, also in editor * applies-to targets use structured markup * get*Tab*, enableStyle and deleteStyle are promisified
12 lines
296 B
JavaScript
12 lines
296 B
JavaScript
setTimeout(healthCheck, 0);
|
|
|
|
function healthCheck() {
|
|
chrome.runtime.sendMessage({method: "healthCheck"}, function(ok) {
|
|
if (ok === undefined) { // Chrome is starting up
|
|
healthCheck();
|
|
} else if (!ok && confirm(t("dbError"))) {
|
|
window.open("http://userstyles.org/dberror");
|
|
}
|
|
});
|
|
}
|