10 descendants and 10 ancestors of da4865ce6b9c11d500e6eebcdf26fd246825c94e8570ca4c7bb419c86e80459a
|
2017-10-10
| ||
| 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 | |
| 09:03 | [fx] WebExt: adaptation to Chrome (browser=chrome) check-in: 0e89b6ede9 user: olr tags: trunk, fx | |
| 08:52 | [fx] WebExt: adaptation to Chrome (browser=chrome) check-in: 3af265e2d8 user: olr tags: trunk, fx | |