156 Commits

Author	SHA1	Message	Date
Joris van der Hoeven	3f90096c32	Further color routines in Scheme	2019-06-20 07:45:14 +00:00
Joris van der Hoeven	adca9c0a57	More agressive resolution of pattern urls	2019-06-19 21:16:23 +00:00
Joris van der Hoeven	2023a75d97	Automatically download missing artwork from the web	2019-06-17 13:40:45 +00:00
Joris van der Hoeven	91e0e8cbf7	Nicer name	2019-06-01 10:02:54 +00:00
Joris van der Hoeven	da3238a5ec	Correctly export 'include' primitive to HTML	2019-05-23 12:27:02 +00:00
Joris van der Hoeven	24df0ab0b0	Facility for displaying keyboard presses when making screencasts	2019-04-10 13:50:00 +00:00
Joris van der Hoeven	b0709530b7	Implement spell checking for selected regions	2019-02-16 11:41:24 +00:00
Joris van der Hoeven	b5e4e7c4e0	Correct several problems related to cite-author-year citing styles	2019-02-01 21:42:14 +00:00
Joris van der Hoeven	c47f4f2d28	Introduction of a cleaner 'numbered' environment for line numbering inside algorithms	2019-01-30 21:55:51 +00:00
Joris van der Hoeven	ba8e350156	Cleanly close embedded buffers	2019-01-30 17:48:04 +00:00
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
Darcy Shen	31595662cb	fix typos, thanks to Zhaochong Jia	2017-10-13 06:30:48 +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
Philippe Joyez	6b5e960d8e	fix file mode	2017-03-01 18:28:22 +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
Darcy Shen	cd08d94b0e	DOC_ZH: details of tm format	2016-02-20 14:48:07 +00:00
Darcy Shen	cc02336ce5	DOC_EN: fix a type	2016-02-20 05:13:28 +00:00
Darcy Shen	f75d047944	DOC_EN: correct escape sequence for < and >	2016-02-19 10:15:03 +00:00
Joris van der Hoeven	c2eb4a101d	Update	2016-02-18 10:24:05 +00:00
Darcy Shen	749dc8aade	DOC_ZH: typesetting, tm-tree, tm-docs	2016-02-18 07:47:23 +00:00
Philippe Joyez	2e18efb691	glue functions in apidoc and completions	2016-02-02 08:01:37 +00:00
Joris van der Hoeven	6995361fc1	Better formulation	2015-12-10 12:34:29 +00:00
Joris van der Hoeven	ae2c5499b2	Minor fixes	2015-06-29 10:29:52 +00:00
Joris van der Hoeven	cea0e5d1dc	Update database from disk in case of changes	2015-04-15 08:08:24 +00:00