Skip to content

Commit

Permalink
update default_config.json
Browse files Browse the repository at this point in the history
  • Loading branch information
github-actions[bot] committed Aug 2, 2023
1 parent 59702f2 commit 52dee11
Showing 1 changed file with 2 additions and 16 deletions.
18 changes: 2 additions & 16 deletions dist/default_config.json
Original file line number Diff line number Diff line change
Expand Up @@ -713,21 +713,7 @@
"matches": [
"moz-extension://*/pdf/index.html*"
],
"isPdf": true,
"isTranslateTitle": false,
"wrapperPrefix": "",
"wrapperSuffix": "",
"urlChangeDelay": 0,
"selectors": [
".textLayer"
],
"excludeSelectors": [
".annotationLayer"
],
"globalStyles": {
"div.page": "width: 98%;",
".textLayer": "overflow:visible;opacity: 1;"
}
"isPdf": true
},
{
"id": "txt",
Expand Down Expand Up @@ -4139,6 +4125,6 @@
"injectedCss": "body {word-break: unset!important;}"
}
],
"buildinConfigUpdatedAt": "2023-08-02T13:24:18.777Z",
"buildinConfigUpdatedAt": "2023-08-02T16:44:39.365Z",
"latestVersion": "0.7.15"
}

0 comments on commit 52dee11

Please sign in to comment.