Overview
| Comment: | [fx] gc panel: adjust margin bottom |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk | fx |
| Files: | files | file ages | folders |
| SHA3-256: |
846be27a9253b7a50cf0c4b222272be3 |
| User & Date: | olr on 2019-05-11 18:49:00 |
| Other Links: | manifest | tags |
Context
|
2019-05-11
| ||
| 18:49 | version 1.0.3 check-in: 4c24296679 user: olr tags: trunk | |
| 18:49 | [fx] gc panel: adjust margin bottom check-in: 846be27a92 user: olr tags: trunk, fx | |
| 18:48 | [fr] erreur de paramètre check-in: 48beb8591e user: olr tags: trunk, fr | |
Changes
Modified gc_lang/fr/webext/content_scripts/panel_gc.js from [19fcc3d3e4] to [cbbbae9acd].
| ︙ | ︙ | |||
47 48 49 50 51 52 53 |
grammalecte_sugg{Id} : [paragraph number]-[error_number]--[suggestion_number]
*/
constructor (...args) {
super(...args);
this.aIgnoredErrors = new Set();
this.createMenu()
| | | 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 |
grammalecte_sugg{Id} : [paragraph number]-[error_number]--[suggestion_number]
*/
constructor (...args) {
super(...args);
this.aIgnoredErrors = new Set();
this.createMenu()
this.xPanelContent.style.marginBottom = "6px";
// Editor
this.xGCPanelContent = oGrammalecte.createNode("div", {id: "grammalecte_gc_panel_content"});
this.xParagraphList = oGrammalecte.createNode("div", {id: "grammalecte_paragraph_list"});
this.xGCPanelContent.appendChild(this.xParagraphList);
this.xPanelContent.addEventListener("click", onGrammalecteGCPanelClick, false);
this.oTooltip = new GrammalecteTooltip(this.xParent, this.xGCPanelContent);
this.xPanelContent.appendChild(this.xGCPanelContent);
|
| ︙ | ︙ |