Overview
| Comment: | [fx] gc panel: fix default size |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk | fx |
| Files: | files | file ages | folders |
| SHA3-256: |
0d0699cca2a6bfe55284b970365b7835 |
| User & Date: | olr on 2019-05-22 08:27:03 |
| Other Links: | manifest | tags |
Context
|
2019-05-22
| ||
| 08:49 | version 1.1.1 check-in: 0204bf2032 user: olr tags: trunk | |
| 08:27 | [fx] gc panel: fix default size check-in: 0d0699cca2 user: olr tags: trunk, fx | |
| 08:24 | [graphspell][js] tokenizer: tag SEPARATOR -> PUNC check-in: 75bf92c9c2 user: olr tags: trunk, graphspell | |
Changes
Modified gc_lang/fr/webext/content_scripts/panel.js from [13d6f6b0c2] to [89f0e2b95b].
| ︙ | ︙ | |||
193 194 195 196 197 198 199 |
let nHeight = Math.min(this.nHeight, window.innerHeight-100);
if (this.bFlexible) {
// width
if (this.bHorizStrech) {
nWidth = Math.min(this.nWidth*1.33, window.innerWidth-200);
}
// height
| > > | > | 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 |
let nHeight = Math.min(this.nHeight, window.innerHeight-100);
if (this.bFlexible) {
// width
if (this.bHorizStrech) {
nWidth = Math.min(this.nWidth*1.33, window.innerWidth-200);
}
// height
nHeight = ([4, 5, 6].includes(this.nPosition)) ? nHeight : Math.floor(window.innerHeight*0.45);
if (this.bVertStrech) {
nHeight = ([4, 5, 6].includes(this.nPosition)) ? (window.innerHeight-100) : Math.floor(window.innerHeight*0.67);
}
}
this.xPanel.style.width = `${nWidth}px`;
this.xPanel.style.height = `${nHeight}px`;
// position
let oPos = null;
switch (this.nPosition) {
case 1: oPos = { top:"", right:"", bottom:"-2px", left:"-2px", marginTop:"", marginLeft:"" }; break;
|
| ︙ | ︙ |