Overview
| Comment: | [fx] movable panel height depending on window height |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | fx | webext2 |
| Files: | files | file ages | folders |
| SHA3-256: |
75f1b73645d0de7ea6c91dbcc8ebf54b |
| User & Date: | olr on 2017-08-15 08:41:47 |
| Other Links: | branch diff | manifest | tags |
Context
|
2017-08-15
| ||
| 08:57 | [fx] CSS: thinner borders for the panel + adjustments for the lexicographer check-in: a949a0b41c user: olr tags: fx, webext2 | |
| 08:41 | [fx] movable panel height depending on window height check-in: 75f1b73645 user: olr tags: fx, webext2 | |
| 08:36 | [fx] lexicographer: count paragraphs analyzed check-in: eef32ad83f user: olr tags: fx, webext2 | |
Changes
Modified gc_lang/fr/webext/content_scripts/panel_creator.js from [54676d7e75] to [38b104911b].
| ︙ | |||
76 77 78 79 80 81 82 | 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 | + - + |
}
hide () {
this.xPanelNode.style.display = "none";
}
center () {
let nHeight = window.innerHeight-100;
|
| ︙ |