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 |
Darcy Shen
|
b4f07f8475
|
Doc: add a translation file
|
2015-04-11 14:39:18 +00:00 |
Joris van der Hoeven
|
fbcbe35abe
|
Document the routines for version management
|
2015-04-07 20:07:42 +00:00 |
Joris van der Hoeven
|
107441d53d
|
Document db-allow?
|
2015-04-07 19:48:24 +00:00 |
Joris van der Hoeven
|
d1d8e62394
|
Basic documentation on users, groups and permissions
|
2015-04-07 19:46:22 +00:00 |
Joris van der Hoeven
|
1edb9e43ae
|
Tweaking
|
2015-04-07 19:33:34 +00:00 |
Joris van der Hoeven
|
ea6e5a6dd4
|
Document formats of database entries
|
2015-04-07 19:27:00 +00:00 |
Joris van der Hoeven
|
f3aacecda1
|
Document the indexation mechanism
|
2015-04-07 19:05:28 +00:00 |
Joris van der Hoeven
|
5d268327df
|
Complete documentation
|
2015-04-07 18:39:27 +00:00 |
Joris van der Hoeven
|
06b448af7d
|
Update documentation
|
2015-03-24 14:32:56 +00:00 |
Joris van der Hoeven
|
c975208da8
|
Continued documentation
|
2015-03-24 14:04:52 +00:00 |
Joris van der Hoeven
|
2e36f01c2f
|
Start documentation of database API
|
2015-03-24 13:51:00 +00:00 |
Miguel de Benito
|
48a975822b
|
Doc update
|
2015-03-15 20:17:08 +00:00 |
Darcy Shen
|
3567654f46
|
DOC:[en]corrent a typo [中文]2/9 of format/basics
|
2014-11-29 06:17:27 +00:00 |
Darcy Shen
|
83a0248432
|
DOC: some files of devel/format/stylesheet
|
2014-11-21 14:46:49 +00:00 |
Philippe Joyez
|
b23b4a0b09
|
Typos
|
2014-11-06 21:26:23 +00:00 |
Miguel de Benito
|
1933115d16
|
Doc: documented \write tag
|
2014-09-12 14:24:17 +00:00 |
Miguel de Benito
|
e35bf52791
|
Doc:notice for outdated info
|
2014-08-26 17:37:56 +00:00 |
Joris van der Hoeven
|
9ae28b12dd
|
Update technical documentation of environment variables which control the font
|
2014-06-09 19:45:52 +00:00 |
Miguel de Benito
|
5ad3b029f9
|
Doc: a few words on tm-properties
|
2014-06-07 16:53:37 +00:00 |
Joris van der Hoeven
|
456d0e8033
|
Fixes
|
2014-05-14 14:02:30 +00:00 |
Miguel de Benito
|
9ee5b01e20
|
Doc: typo
|
2014-03-21 20:58:15 +00:00 |
Miguel de Benito
|
77fed1355c
|
Doc: typo
|
2014-03-11 19:00:48 +00:00 |
Miguel de Benito
|
4eeea53e89
|
Doc: typos
|
2014-02-16 11:29:26 +00:00 |
Miguel de Benito
|
b39dd3d767
|
Doc: minor typos fixed
|
2014-02-11 18:13:02 +00:00 |
Miguel de Benito
|
2131042de4
|
Doc: updated english manual to reflect changes in menu name: Format->Adjust
|
2014-01-28 09:44:23 +00:00 |
Miguel de Benito
|
cd01f95762
|
Doc: now really fixed
|
2014-01-02 19:29:37 +00:00 |
Miguel de Benito
|
5e0107709d
|
Doc: errors in tree-view docs
|
2014-01-02 19:27:23 +00:00 |
Miguel de Benito
|
06ee7775f0
|
Further development of tree-view:
+ Commands implemented.
+ Changes to the interface and documentation.
+ Don’t look in TEXMACS_PIXMAP_PATH if DecorationRole is set.
|
2014-01-01 23:15:10 +00:00 |
Miguel de Benito
|
812ee2a023
|
Doc: Added documentation for enum, choice, choices, tree-widget.
Added test widget for tree-widget.
|
2014-01-01 01:24:16 +00:00 |
Joris van der Hoeven
|
d16868cc6f
|
More cautious documentation on nested DATA_BEGIN/DATA_END blocks
|
2013-11-28 15:14:58 +00:00 |
Joris van der Hoeven
|
bf577496e1
|
Minor correction
|
2013-11-25 17:07:23 +00:00 |
Joris van der Hoeven
|
7362dd186d
|
Minor corrections
|
2013-11-25 16:47:05 +00:00 |
Joris van der Hoeven
|
24d0da921d
|
Completed reorganization of actions
|
2013-11-14 13:33:16 +00:00 |
Joris van der Hoeven
|
14d10864c1
|
Continued reorganization of Document menu
|
2013-10-26 21:20:27 +00:00 |
Miguel de Benito
|
1cedf00b5b
|
Fixed spelling error
|
2013-10-20 16:42:22 +00:00 |
Miguel de Benito
|
7d825cebc0
|
A few words of documentation on widget styles
|
2013-08-18 15:16:01 +00:00 |
Miguel de Benito
|
00eaa567cf
|
Documentation for auto updater. Documentation for advanced preferences.
|
2013-08-17 21:39:17 +00:00 |
Miguel de Benito
|
17e823cd77
|
Fixed some typos in docs
|
2013-07-10 20:26:30 +00:00 |
Miguel de Benito
|
ab14447924
|
Typo
|
2013-05-27 08:34:04 +00:00 |
François Poulain
|
554186dd62
|
Colors rendering: adding more color names (from x11, dvips, html/svg)
|
2013-04-09 13:02:09 +00:00 |
Miguel de Benito
|
1859c26bd9
|
Some partial documentation for urls
|
2013-03-31 14:01:22 +00:00 |
Joris van der Hoeven
|
2e56bc5182
|
Update documentation
|
2013-03-05 08:31:56 +00:00 |
Joris van der Hoeven
|
7beee02084
|
Remove :initialize option from examples
|
2013-03-04 18:57:42 +00:00 |
Joris van der Hoeven
|
5704e395af
|
More agressive use of caching for plugin settings
|
2013-03-04 13:50:26 +00:00 |
Miguel de Benito
|
1381c06de6
|
Typo
|
2013-03-04 10:58:22 +00:00 |
Miguel de Benito
|
832a742fa5
|
Typo
|
2013-02-25 16:51:46 +00:00 |
François Poulain
|
0df790262f
|
Migrating author-misc -> author-note: documentation
|
2013-02-12 13:26:13 +00:00 |
Miguel de Benito
|
182719ae43
|
Minor documentation update
|
2013-01-14 18:35:25 +00:00 |
Miguel de Benito
|
8bddfe725d
|
Remove comment about old bug
|
2013-01-06 16:53:09 +00:00 |
Miguel de Benito
|
9b2d65b9ec
|
Typos (minor)
|
2013-01-01 13:58:23 +00:00 |
Miguel de Benito
|
726fbc3d96
|
Better doc. (minor)
|
2012-12-31 00:19:46 +00:00 |
Miguel de Benito
|
cfa68e52a4
|
Add doc for texmacs-modes
|
2012-12-31 00:17:37 +00:00 |
François Poulain
|
bce2152c33
|
Migration of metadatas: translation of doc-author-data -> doc-author/author-data
* in the documentation.
|
2012-11-14 14:21:36 +00:00 |
François Poulain
|
838a8a438e
|
Migration of metadatas: translation of doc-author -> render-doc-author
|
2012-11-14 14:21:05 +00:00 |
François Poulain
|
7994fe69b2
|
Migration of metadatas: translation of author-address -> author-affiliation
|
2012-11-14 14:20:52 +00:00 |
François Poulain
|
d4f5b600b0
|
Migration of metadatas: translation of author-note -> author-misc
|
2012-11-14 14:20:39 +00:00 |
François Poulain
|
7f07cb5eaa
|
Migration of metadatas: translation of doc-AMS-class -> doc-msc
|
2012-11-14 14:20:34 +00:00 |
Miguel de Benito
|
23fa94d242
|
Added branch to new doc
|
2012-10-01 08:24:58 +00:00 |
Miguel de Benito
|
5fe5725f1d
|
A bit of structure for the api docs bazaar.
|
2012-09-21 20:43:48 +00:00 |
Miguel de Benito
|
f937fefbc0
|
Links now accept web-style parameters (generic-file format). In progress.
|
2012-09-21 20:42:55 +00:00 |
Miguel de Benito
|
653a47e0f5
|
Removed obsolete doc.
|
2012-09-21 09:09:13 +00:00 |
Miguel de Benito
|
ab79c4c1d4
|
open-window returns the window
|
2012-09-20 16:21:31 +00:00 |
Miguel de Benito
|
ed6ef2a480
|
Typos
|
2012-09-19 15:06:26 +00:00 |
Miguel de Benito
|
020d912b5d
|
Added append-preference as a convenience function
|
2012-09-19 12:45:41 +00:00 |
Miguel de Benito
|
027509aca8
|
"A tmfs primer" draft documentation
|
2012-09-18 20:34:30 +00:00 |
Miguel de Benito
|
c98adf2e39
|
Comment on options for contextually overloaded functions.
|
2012-09-14 11:05:19 +00:00 |
Miguel de Benito
|
da6e261b74
|
Minor corrections.
|
2012-09-13 07:40:21 +00:00 |
Miguel de Benito
|
4b28493fc7
|
Typo
|
2012-09-13 07:38:32 +00:00 |
François Poulain
|
4055671023
|
Fix bug #35304: Mistmake in stylesheet doc
|
2012-09-12 09:03:26 +00:00 |
Miguel de Benito
|
a243a4be18
|
Added documentation for preferences api.
|
2012-09-11 15:22:56 +00:00 |
Miguel de Benito
|
b4723d04bb
|
typo
|
2012-09-11 10:22:17 +00:00 |
Miguel de Benito
|
d185d5e96e
|
A bit more detail
|
2012-08-31 16:03:13 +00:00 |