31 Commits

Author	SHA1	Message	Date
Joris van der Hoeven	3627f4da11	Avoid menu flickering for certain mathematical letter symbols	2019-01-16 21:46:29 +00:00
Joris van der Hoeven	118570c783	Fix typos	2019-01-16 16:04:56 +00:00
Joris van der Hoeven	ee995e8259	Activate new spell widgets	2019-01-16 11:47:36 +00:00
Joris van der Hoeven	35a90f0795	Further progress on spell widgets	2019-01-15 23:06:02 +00:00
Joris van der Hoeven	8fcec4e200	First experimental version of spell widgets	2019-01-15 21:25:25 +00:00
Joris van der Hoeven	3b3b95aaa4	Applying a graphical effect to an array of images on disk	2018-06-21 22:16:05 +00:00
Joris van der Hoeven	fc87006bc0	Quick and dirty 'diff' implementation for strings	2018-03-07 14:04:01 +00:00
Joris van der Hoeven	323c4b01d0	Make it possible to generate auxiliary material from within the test suite	2018-03-07 10:06:21 +00:00
Joris van der Hoeven	e52ee04602	Improved scheme interface for printing	2017-12-14 21:06:44 +00:00
Joris van der Hoeven	a58cb675d9	Support (still deactivated) for on the fly change of retina settings	2017-12-13 17:55:49 +00:00
Denis Raux	6d6d891a51	WIndows: new printing methode	2017-11-10 15:44:10 +00:00
Joris van der Hoeven	20d309b1ea	Improved plug-in detection in case of changes of PATH	2017-07-19 15:56:00 +00:00
Joris van der Hoeven	19804cfb3d	Display database warnings in console	2017-07-01 13:08:44 +00:00
Joris van der Hoeven	666318f6bb	Fix bug #45636: edit_main_rep::print_snippet doesn't expand macro before printing	2017-06-23 16:01:18 +00:00
Joris van der Hoeven	0973a73461	Release selection on structured cursor moves	2017-06-22 19:41:57 +00:00
Joris van der Hoeven	b7c4a46e53	Re-implement a few potentially time critical routines in C++	2017-06-21 20:57:18 +00:00
Joris van der Hoeven	984e2043a0	Improved efficiency in the case of many search/replace hits	2017-06-21 16:25:52 +00:00
Joris van der Hoeven	fb5bd32366	Better sorting of accented characters	2017-03-07 14:17:32 +00:00
Joris van der Hoeven	3d1389ef19	First step towards interactive course material	2016-09-08 11:20:54 +00:00
Joris van der Hoeven	7a77d3d17e	Increased control over player invalidation	2016-05-18 15:18:11 +00:00
Joris van der Hoeven	7611f17732	Resetting all players in a document	2016-05-18 11:18:04 +00:00
Joris van der Hoeven	25871dd498	Add file_size function, unix only for the moment	2016-05-13 08:46:28 +00:00
Joris van der Hoeven	dd5dfbdd31	Fix	2016-05-11 15:58:20 +00:00
Joris van der Hoeven	d37c53f6da	Possibility to dynamically import new fonts	2016-04-26 17:38:21 +00:00
Joris van der Hoeven	f75b3964c8	Routine to compute number of pages of document or slideshow	2016-04-02 09:15:15 +00:00
Joris van der Hoeven	b8e22e7d31	Cutting and pasting of selections of several slides in page mode	2016-04-01 21:07:45 +00:00
Joris van der Hoeven	a99d3f8e5e	Fix screen fitting facilities for new page rendering styles	2016-03-31 16:01:38 +00:00
Joris van der Hoeven	14eeda61bd	Start using new animation players for finer control in laptop presentations	2016-03-17 23:38:47 +00:00
Joris van der Hoeven	60f1fb109a	Getting the control times of an animation	2016-02-22 14:41:52 +00:00
Joris van der Hoeven	c2eb4a101d	Update	2016-02-18 10:24:05 +00:00
Philippe Joyez	2e18efb691	glue functions in apidoc and completions	2016-02-02 08:01:37 +00:00