10 descendants and 10 ancestors of e93b97f0be27e0ed41e997be93e2834c6521902ef3100245a224a6cbc729905d
2017-09-12
| ||
18:52 | [fr] merge fr_killtricks: fin de la dette technique des versions précédentes. La désambiguïsation ne se fait plus par le processeur de texte, mais uniquement via le désambiguïsateur check-in: 0aa00f3c96 user: olr tags: trunk, fr, major_change | |
18:43 | [fr] désambiguïsation des pronoms objets le/la/les/leur, contrôle des groupes nominaux avec les mêmes articles Closed-Leaf check-in: cfafaebaf8 user: olr tags: fr, fr_killtricks | |
10:31 | [fx] WebExt: message when no error detected. check-in: c51bc21a0d user: olr tags: trunk, fx | |
09:33 | [fr][js] remove test that JS fails to pass (regex error) check-in: 208d19a1dc user: olr tags: fr, fr_killtricks | |
08:54 | merge trunk check-in: c51ddd5524 user: olr tags: fr_killtricks | |
08:41 | [fx] WebExt: mode debug for simple test check-in: 3ac8707213 user: olr tags: trunk, fx | |
01:59 | merge trunk check-in: 19d5e77970 user: olr tags: fr_killtricks | |
01:20 | [fr] phonet_simil: 3 entrées check-in: b542d84d98 user: olr tags: trunk, fr | |
2017-09-11
| ||
13:01 | [fx] WebExt: text formatter: change color of icons “selected” check-in: 334205392d user: olr tags: trunk, fx | |
13:00 | [fx] WebExt: text formatter: change color of icons “selected” check-in: d937c49717 user: olr tags: trunk, fx | |
10:39 | [fx] WebExt: forget font-awesome for content-scripts check-in: e93b97f0be user: olr tags: trunk, fx | |
10:05 | [fx] WebExt: z-index adjustments check-in: 995e6a8212 user: olr tags: trunk, fx | |
09:37 | [fx] WebExt: list of exceptions for loading content-scripts: wait that the page is fully loaded check-in: 455edca358 user: olr tags: trunk, fx | |
2017-09-08
| ||
14:22 | [fx] WebExt: animated button experiments check-in: 0cf08256b7 user: olr tags: trunk, fx | |
13:24 | [fx] WebExt: button and menu adjustments check-in: 9575bcb2eb user: olr tags: trunk, fx | |
13:07 | [fx] WebExt: add “Fira Sans” as equivalent to “Trebuchet MS” check-in: 5bedb9b401 user: olr tags: trunk, fx | |
2017-09-07
| ||
08:36 | [fx] WebExt: update button and menu for textareas check-in: 2cc328babf user: olr tags: trunk, fx | |
08:02 | [fx] WebExt: update help check-in: 6b206fd62d user: olr tags: trunk, fx | |
2017-09-06
| ||
19:15 | [fx] WebExt: help update check-in: aa0b62f525 user: olr tags: trunk, fx | |
17:40 | [fx] WebExt: remove wrapper around textareas, add button and menu check-in: 3cd8dde332 user: olr tags: trunk, fx | |
09:10 | [fx] WebExt: run content scripts at document_end (before the page finishes to load all external resources) check-in: 24c1fb45bc user: olr tags: trunk, fx | |