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 | 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) {
|
| ︙ |