Joris van der Hoeven
|
20f0c8f8e4
|
Fix bug #60499: LaTeX preview does not work (with paths that contain spaces)
|
2021-05-05 11:30:29 +00:00 |
Joris van der Hoeven
|
2b75b1de43
|
Fix bug #59996: New documents are sometimes created with "no-style"
|
2021-03-07 21:58:44 +00:00 |
Joris van der Hoeven
|
26d5fa07b1
|
Improved switch-to-buffer (switch-to-window) in window-per-buffer mode
|
2021-03-07 18:51:07 +00:00 |
Joris van der Hoeven
|
da1d7abdda
|
Fix bug #59788: smart-ref does not produce the correct prefix "Appendix" for appendices
|
2021-03-02 10:40:14 +00:00 |
Darcy Shen
|
ffa72a9cd0
|
Doc(devel): minor update for the URL system
|
2021-02-15 05:26:17 +00:00 |
Joris van der Hoeven
|
414a456922
|
Export a few extra functions
|
2021-01-06 22:39:30 +00:00 |
Joris van der Hoeven
|
6a11029aaf
|
Re-synchronize with comments editor when adding or suppressing comments
|
2020-12-06 18:30:36 +00:00 |
Joris van der Hoeven
|
820dbc075d
|
Cleaning
|
2020-11-20 20:12:11 +00:00 |
Joris van der Hoeven
|
9f27c34f5d
|
Use correct DRD when converting slides to PDF
|
2020-11-18 17:49:50 +00:00 |
Joris van der Hoeven
|
270e53b8ed
|
Fix concerning simplification of reference values
|
2020-11-14 00:22:27 +00:00 |
Joris van der Hoeven
|
fed24883cf
|
Get screen size in Scheme interface
|
2020-11-10 23:02:54 +00:00 |
Joris van der Hoeven
|
b48526d714
|
Way to retrieve size of tooltips
|
2020-11-10 22:02:21 +00:00 |
Joris van der Hoeven
|
11b7e207f1
|
Preview for index and glossary entries
|
2020-11-10 16:40:01 +00:00 |
Joris van der Hoeven
|
5a7fed8017
|
Still improvable support for tooltip windows
|
2020-11-08 11:34:23 +00:00 |
Joris van der Hoeven
|
e5311427a6
|
Accessors for getting various positions
|
2020-11-08 09:45:37 +00:00 |
Joris van der Hoeven
|
8136d072a1
|
Make new reference editing routines project-aware
|
2020-11-07 10:07:24 +00:00 |
Joris van der Hoeven
|
41baa803d3
|
Fix bug #57330: In Beamer export to Pdf or Ps the citation is not generated correctly
|
2020-10-30 14:37:39 +00:00 |
Joris van der Hoeven
|
50d3ea544c
|
Further fine-tuning for Html export
|
2020-10-19 11:37:02 +00:00 |
Joris van der Hoeven
|
e03197b301
|
Disable unified toolbars under Qt5 by default
|
2020-10-05 17:16:38 +00:00 |
Joris van der Hoeven
|
0607c81a27
|
Better warnings and fall-back mechanism when bibtex is not present
|
2019-11-30 20:08:44 +00:00 |
Joris van der Hoeven
|
967fbd370c
|
More aggressive caching in order to speed-up computation of menus
|
2019-11-30 00:48:29 +00:00 |
Joris van der Hoeven
|
6c84890dfd
|
Cleaning up conversions from Html
|
2019-11-18 21:28:10 +00:00 |
Joris van der Hoeven
|
1ec1c94835
|
Conversion of Html with MathJax to TeXmacs
|
2019-11-17 08:21:01 +00:00 |
Joris van der Hoeven
|
71538d873a
|
Multiply zoom factor by two on high resolution screens under GNU/Linux and Windows
|
2019-10-17 22:45:25 +00:00 |
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 |