pull/2/head
gorhill 7 years ago
commit 06d7612bf5

@ -139,7 +139,6 @@ body[dir="rtl"] #commitButton:before {
text-decoration: line-through;
}
#diff textarea {
background-color: #f8f8ff;
border: 0;
border-top: 1px solid #eee;
direction: ltr;

@ -102,11 +102,11 @@ vAPI.shutdown.add(function() {
//}
// TODO: Web SQL
if ( window.openDatabase ) {
// if ( window.openDatabase ) {
// Sad:
// "There is no way to enumerate or delete the databases available for an origin from this API."
// Ref.: http://www.w3.org/TR/webdatabase/#databases
}
// }
}
catch (e) {
}

@ -19,7 +19,7 @@
</div>
<div class="paneHead">
<a id="gotoDashboard" class="extensionURL" href="#" data-extension-url="dashboard.html" title="popupTipDashboard">uMatrix <span id="version"> </span><span class="fa">&#xf013;</span></a>
<a id="gotoDashboard" class="extensionURL" href="#" data-extension-url="dashboard.html">uMatrix <span id="version"> </span><span class="fa">&#xf013;</span></a>
<div id="toolbarContainer">
<div class="toolbar">
<span class="scope" id="specificScope"><span>&nbsp;</span></span><!--

Loading…
Cancel
Save