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
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
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
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
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
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
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
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
1859c26bd9
Some partial documentation for urls
2013-03-31 14:01:22 +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
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
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
Miguel de Benito
d6db1397dd
Typo
2012-08-31 16:02:02 +00:00
Miguel de Benito
a223d5df6d
Revert: won't store api docs as separate tm files
2012-08-27 15:12:11 +00:00
Joris van der Hoeven
87a19cbc22
correction
2012-08-27 14:18:21 +00:00
Miguel de Benito
184dc83b25
More documentation for widgets. There is much to do yet.
2012-08-10 21:29:34 +00:00
Miguel de Benito
7a387e15a7
A bit more documentation about widgets.
2012-07-29 10:06:13 +00:00
Miguel de Benito
c93081b807
Features and fixes (Qt):
...
Support for widgets: texmacs-output, texmacs-input, resize, popup (for help
balloons), buttons in dialogs, tweaks here and there.
Fixes to layouts and sizing, scroll widgets are dummy for most widgets.
Support for side tools as another (floatable) QToolBar. Would a QDockWidget
be better?
Consistent (albeit partial) support for TeXmacs' widget styles.
Support for some more widgets as menu items (i.e. as QActions for QToolBar).
Fix placement of context menus.
New management of ownership of QWidgets.
Cleanup and maintenance (Qt):
Comments. Many, many comments.
Removed unnecessary files.
Grouped common method definitions.
Shifting around of code for consistency.
Documentation regarding widgets and extension of the UI.
XCode: update project for XCode4, new xcconfig for MOC objects fixes linker
warnings.
To do (Qt):
Fine-tune the presentation of QWidgets: remove unnecessary spacing, provide
default alignment policies, add better support for widgets in QToolBars
(see as_qaction()).
Finish the popup widget (timeout, etc.)
Why are texmacs widgets so often wrapped into vertical widgets? This messes
with scrollable_widget.
Understand why QPainter is not properly initialized for output widgets, then
remove the hack in Texmacs/Window/tm_button.cpp.
2012-05-28 22:17:09 +00:00
Joris van der Hoeven
42259dd3b1
Complete documentation of basic buffer API
2012-04-23 13:31:19 +00:00
Joris van der Hoeven
bacaf0910d
Further documentation of buffer API
2012-04-23 12:56:12 +00:00
Joris van der Hoeven
869c33ddba
Updates
2012-04-23 12:26:47 +00:00
Joris van der Hoeven
3d770cb3a6
Rename
2012-04-23 12:25:13 +00:00
Joris van der Hoeven
f54e8269dd
Minor enhancements
2012-04-23 12:24:40 +00:00
Joris van der Hoeven
11d6556c2d
Start documentation of buffer, view and window management API
2012-04-23 12:22:28 +00:00
Miguel de Benito
374226e6b7
More documentation for widgets
2012-04-07 12:02:10 +00:00
Miguel de Benito
ad6a1646d1
Bug #24398 , typo in docs.
2012-04-05 22:47:13 +00:00
Joris van der Hoeven
0fe31d6618
Replace no_name predicate by buffer_has_name
2012-03-21 14:40:12 +00:00
Joris van der Hoeven
53b975df66
Rename pretend-save-buffer
2012-03-20 21:36:22 +00:00
Joris van der Hoeven
4ad73d1301
Rename get-name-buffer and set-name-buffer
2012-03-19 16:05:12 +00:00
Miguel de Benito
85b6e4b427
Small modifications to the test form.
2012-03-08 17:32:06 +00:00
Miguel de Benito
06471c9246
Draft documentation of the widget and form system
2012-03-06 14:23:36 +00:00