10 descendants and 10 ancestors of 5fc11add34e33c8bb25f2e0d832228f4f3f1a9ab5f325eea0f2e35dabc9362f9
2017-10-10
| ||
08:45 | [fr] pt: con comme un balai, etc. check-in: e701772bf2 user: olr tags: trunk, fr | |
08:42 | [fr] pt: papier à lettres check-in: 0ebdca07eb user: olr tags: trunk, fr | |
08:38 | [fr] pt: papier à lettres check-in: b6eb3749c7 user: olr tags: trunk, fr | |
2017-10-06
| ||
09:02 | [fr] faux positif: ses pas check-in: 2b88a5fe19 user: olr tags: trunk, fr | |
2017-10-05
| ||
11:44 | [fr][oxt] erreur du formateur de texte sur les exposants check-in: 82833bf1fa user: olr tags: trunk, fr | |
2017-09-28
| ||
10:57 | [fx] WebExt: new CSS spinner check-in: 5fa26cad0f user: olr tags: trunk, fx | |
10:28 | [fx] WebExt: animated button -> 3 cycles only check-in: 708600552e user: olr tags: trunk, fx | |
10:27 | [fx] WebExt: add Oswald font as equivalent to Yanone K. check-in: ca229fd382 user: olr tags: trunk, fx | |
09:29 | [fx] WebExt: adaptation to Chrome: Map can’t be sent via extension messaging interface check-in: 68fe952d73 user: olr tags: trunk, fx | |
2017-09-27
| ||
12:26 | [fx] WebExt: no infinite animation: stop after 10 iterations check-in: 53c3063ab1 user: olr tags: trunk, fx | |
12:05 | [fx] WebExt: don’t create menu button if textarea is not visible check-in: 5fc11add34 user: olr tags: trunk, fx | |
11:45 | [fx] WebExt: secure function createNode() check-in: 57f14062ba user: olr tags: trunk, fx | |
11:26 | [fx] WebExt: adaptation to Chrome: conj initialisation (again) check-in: da4865ce6b user: olr tags: trunk, fx | |
11:21 | [fx] WebExt: adaptation to Chrome: conj initialisation check-in: 898e9ae864 user: olr tags: trunk, fx | |
11:14 | [fx] WebExt: create window: panel type is deprecated check-in: 39c185125f user: olr tags: trunk, fx | |
11:04 | [fx] WebExt: adaptation to Chrome: create window and tab check-in: b81808e2fa user: olr tags: trunk, fx | |
10:20 | [fx] WebExt: adaptation to Chrome: minimal version required check-in: e7592882ed user: olr tags: trunk, fx | |
09:10 | [fx] WebExt: adaptation to Chrome (write and read gc options) check-in: 6d2246be0e user: olr tags: trunk, fx | |
2017-09-26
| ||
13:46 | [fx] WebExt: a Map is not a Map anymore on Chrome (not working) check-in: e2850f295a user: olr tags: trunk, fx | |
11:36 | [fx] WebExt: adaptation to Chrome (load options) check-in: 939c8db8c7 user: olr tags: trunk, fx | |
10:25 | [fx] WebExt: adaptation to Chrome (GC init) check-in: b93b38b03d user: olr tags: trunk, fx | |