pkgsrc-Changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: pkgsrc/editors/TeXmacs



Module Name:    pkgsrc
Committed By:   mef
Date:           Sun Jun 21 03:54:54 UTC 2020

Modified Files:
        pkgsrc/editors/TeXmacs: Makefile PLIST distinfo
        pkgsrc/editors/TeXmacs/patches: patch-misc_tm-devel-mac_Makefile
Added Files:
        pkgsrc/editors/TeXmacs/patches: patch-src_Plugins_Qt_QTMStyle.cpp
            patch-src_Plugins_Qt_qt__renderer.hpp

Log Message:
(editors/TeXmacs) Updated 1.99.11 to 1.99.13

  http://www.texmacs.org/tmweb/about/changes.en.html
1.99.13
- Continued bug fixes
- Switch to Python 3 for plug-ins programmed in Python
- A Parser Framework for programming languages
- Improved Graphviz plugin with documentation in Chinese and syntax highlight
- Improved Maxima plugin with documentation in Chinese and bug fixes
- Improved Octave plugin on Windows for Octave 5.x

1.99.12
- Many bug fixes
- Make it easier to cite work on TeXmacs
- Improved Html import/export filters and support for MathJax
- Faster native (Qt-based) image export of formulas to Html
- Improved large bracket sizes and script positioning
- Various artwork related improvements
- Interface for SymPy
- Re-implement Asymptote, DraTex, Gnuplot, Graphviz, Xypic using
  Python for full platform support
- Documentation on how to write plugins using Python
- Updates of the dictionaries for French and Dutch
- (run-all-tests) aggregates and runs all the tests in Scheme
- Support for Java language


To generate a diff of this commit:
cvs rdiff -u -r1.137 -r1.138 pkgsrc/editors/TeXmacs/Makefile
cvs rdiff -u -r1.45 -r1.46 pkgsrc/editors/TeXmacs/PLIST
cvs rdiff -u -r1.72 -r1.73 pkgsrc/editors/TeXmacs/distinfo
cvs rdiff -u -r1.1 -r1.2 \
    pkgsrc/editors/TeXmacs/patches/patch-misc_tm-devel-mac_Makefile
cvs rdiff -u -r0 -r1.1 \
    pkgsrc/editors/TeXmacs/patches/patch-src_Plugins_Qt_QTMStyle.cpp \
    pkgsrc/editors/TeXmacs/patches/patch-src_Plugins_Qt_qt__renderer.hpp

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/editors/TeXmacs/Makefile
diff -u pkgsrc/editors/TeXmacs/Makefile:1.137 pkgsrc/editors/TeXmacs/Makefile:1.138
--- pkgsrc/editors/TeXmacs/Makefile:1.137       Tue Jun  2 08:23:42 2020
+++ pkgsrc/editors/TeXmacs/Makefile     Sun Jun 21 03:54:53 2020
@@ -1,10 +1,9 @@
-# $NetBSD: Makefile,v 1.137 2020/06/02 08:23:42 adam Exp $
+# $NetBSD: Makefile,v 1.138 2020/06/21 03:54:53 mef Exp $
 #
 # changelog at http://www.texmacs.org/tmweb/about/changes.en.html
 
-DISTNAME=              TeXmacs-1.99.11-src
+DISTNAME=              TeXmacs-1.99.13-src
 PKGNAME=               ${DISTNAME:S/-src//}
-PKGREVISION=           6
 CATEGORIES=            editors
 MASTER_SITES=          ftp://ftp.texmacs.org/pub/TeXmacs/tmftp/source/
 MASTER_SITES+=         http://www.texmacs.org/Download/ftp/tmftp/source/
@@ -20,6 +19,7 @@ DEPENDS+=             ps2pkm>=1.5:../../fonts/ps2pk
 USE_CMAKE=             yes
 USE_TOOLS+=            gmake perl:run pkg-config bash
 USE_LANGUAGES=         c c++
+WRKSRC=                        ${WRKDIR}/${PKGNAME_NOREV}
 
 REPLACE_PYTHON+=       plugins/mathematica/bin/realpath.py
 
@@ -38,7 +38,7 @@ SUBST_STAGE.guile=    pre-configure
 SUBST_FILES.guile=     cmake/FindGuile.cmake
 SUBST_VARS.guile=      PREFIX
 
-SUBST_CLASSES+=        bash
+SUBST_CLASSES+=                bash
 SUBST_SED.bash+=       -e "s,/bin/bash,${PREFIX}/bin/bash,"
 SUBST_FILES.bash+=     src/Texmacs/Texmacs/texmacs.cpp
 SUBST_MESSAGE.bash=    Fixing hardcoded bash path.

Index: pkgsrc/editors/TeXmacs/PLIST
diff -u pkgsrc/editors/TeXmacs/PLIST:1.45 pkgsrc/editors/TeXmacs/PLIST:1.46
--- pkgsrc/editors/TeXmacs/PLIST:1.45   Mon Oct 28 15:10:00 2019
+++ pkgsrc/editors/TeXmacs/PLIST        Sun Jun 21 03:54:53 2020
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.45 2019/10/28 15:10:00 kamil Exp $
+@comment $NetBSD: PLIST,v 1.46 2020/06/21 03:54:53 mef Exp $
 bin/fig2ps
 bin/texmacs
 bin/tm_gs
@@ -6,7 +6,6 @@ include/TeXmacs.h
 lib/texmacs/TeXmacs/bin/texmacs.bin
 man/man1/fig2ps.1
 man/man1/texmacs.1
-share/TeXmacs/CMakeLists.txt
 share/TeXmacs/COPYING
 share/TeXmacs/INSTALL
 share/TeXmacs/LICENSE
@@ -260,6 +259,8 @@ share/TeXmacs/doc/about/welcome/first.en
 share/TeXmacs/doc/about/welcome/first.es.tm
 share/TeXmacs/doc/about/welcome/first.fr.tm
 share/TeXmacs/doc/about/welcome/first.it.tm
+share/TeXmacs/doc/about/welcome/new-welcome.en.tm
+share/TeXmacs/doc/about/welcome/new-welcome.fr.tm
 share/TeXmacs/doc/about/welcome/welcome.de.tm
 share/TeXmacs/doc/about/welcome/welcome.en.tm
 share/TeXmacs/doc/about/welcome/welcome.es.tm
@@ -428,6 +429,7 @@ share/TeXmacs/doc/devel/plugin/plugin-co
 share/TeXmacs/doc/devel/plugin/plugin-install.de.tm
 share/TeXmacs/doc/devel/plugin/plugin-install.en.tm
 share/TeXmacs/doc/devel/plugin/plugin-install.it.tm
+share/TeXmacs/doc/devel/plugin/plugin-python.en.tm
 share/TeXmacs/doc/devel/plugin/plugin-simple.de.tm
 share/TeXmacs/doc/devel/plugin/plugin-simple.en.tm
 share/TeXmacs/doc/devel/plugin/plugin-simple.it.tm
@@ -1413,6 +1415,12 @@ share/TeXmacs/examples/plugins/pnambic/s
 share/TeXmacs/examples/plugins/prompt/Makefile
 share/TeXmacs/examples/plugins/prompt/progs/init-prompt.scm
 share/TeXmacs/examples/plugins/prompt/src/prompt.cpp
+share/TeXmacs/examples/plugins/pycomplete/progs/init-pycomplete.scm
+share/TeXmacs/examples/plugins/pycomplete/src/complete.py
+share/TeXmacs/examples/plugins/pyminimal/progs/init-pyminimal.scm
+share/TeXmacs/examples/plugins/pyminimal/src/minimal.py
+share/TeXmacs/examples/plugins/pyprompt/progs/init-pyprompt.scm
+share/TeXmacs/examples/plugins/pyprompt/src/prompt.py
 share/TeXmacs/examples/plugins/secure/Makefile
 share/TeXmacs/examples/plugins/secure/packages/secure.ts
 share/TeXmacs/examples/plugins/secure/progs/init-secure.scm
@@ -1427,20 +1435,31 @@ share/TeXmacs/examples/texts/arg_func.tm
 share/TeXmacs/examples/texts/arrow-test.tm
 share/TeXmacs/examples/texts/bbb-test.tm
 share/TeXmacs/examples/texts/big-test.tm
+share/TeXmacs/examples/texts/bigtable-test.tm
 share/TeXmacs/examples/texts/bracket-test.tm
 share/TeXmacs/examples/texts/greek-test.tm
 share/TeXmacs/examples/texts/hat-test.tm
 share/TeXmacs/examples/texts/kerning-test.tm
+share/TeXmacs/examples/texts/language-cpp-test.tm
+share/TeXmacs/examples/texts/language-dot-test.tm
+share/TeXmacs/examples/texts/language-fortran-test.tm
+share/TeXmacs/examples/texts/language-java-test.tm
+share/TeXmacs/examples/texts/language-python-test.tm
+share/TeXmacs/examples/texts/language-r-test.tm
+share/TeXmacs/examples/texts/language-scala-test.tm
 share/TeXmacs/examples/texts/literate-article-test.tm
 share/TeXmacs/examples/texts/operator-test.tm
 share/TeXmacs/examples/texts/relation-test.tm
 share/TeXmacs/examples/texts/roman-sub-test.tm
 share/TeXmacs/examples/texts/roman-sup-test.tm
 share/TeXmacs/examples/texts/root-test.tm
+share/TeXmacs/examples/texts/rs-test.tm
+share/TeXmacs/examples/texts/scheme-session-test.tm
 share/TeXmacs/examples/texts/subscript-test-bis.tm
 share/TeXmacs/examples/texts/subscript-test.tm
 share/TeXmacs/examples/texts/superscript-test-bis.tm
 share/TeXmacs/examples/texts/superscript-test.tm
+share/TeXmacs/examples/texts/tmfs-test.tm
 share/TeXmacs/examples/texts/traditional-font-test.tm
 share/TeXmacs/examples/texts/unicode-missing-test.tm
 share/TeXmacs/examples/texts/wide-test.tm
@@ -2484,6 +2503,12 @@ share/TeXmacs/fonts/tfm/tc/tctt6.tfm
 share/TeXmacs/fonts/tfm/tc/tctt7.tfm
 share/TeXmacs/fonts/tfm/tc/tctt8.tfm
 share/TeXmacs/fonts/tfm/tc/tctt9.tfm
+share/TeXmacs/fonts/truetype/fira/FiraMono-Bold.otf
+share/TeXmacs/fonts/truetype/fira/FiraMono-Regular.otf
+share/TeXmacs/fonts/truetype/fira/FiraSans-Bold.otf
+share/TeXmacs/fonts/truetype/fira/FiraSans-BoldItalic.otf
+share/TeXmacs/fonts/truetype/fira/FiraSans-Italic.otf
+share/TeXmacs/fonts/truetype/fira/FiraSans-Regular.otf
 share/TeXmacs/fonts/truetype/libertine/LinBiolinum_R.otf
 share/TeXmacs/fonts/truetype/libertine/LinBiolinum_RB.otf
 share/TeXmacs/fonts/truetype/libertine/LinBiolinum_RI.otf
@@ -2840,6 +2865,7 @@ share/TeXmacs/fonts/virtual/tradi-negate
 share/TeXmacs/langs/encoding/HTMLlat1.scm
 share/TeXmacs/langs/encoding/HTMLspecial.scm
 share/TeXmacs/langs/encoding/HTMLsymbol.scm
+share/TeXmacs/langs/encoding/XML.scm
 share/TeXmacs/langs/encoding/cork-escaped-to-ascii.scm
 share/TeXmacs/langs/encoding/cork-to-real-ascii.scm
 share/TeXmacs/langs/encoding/cork-unicode-oneway.scm
@@ -2869,6 +2895,7 @@ share/TeXmacs/langs/natural/dic/english-
 share/TeXmacs/langs/natural/dic/english-german.scm
 share/TeXmacs/langs/natural/dic/english-greek.scm
 share/TeXmacs/langs/natural/dic/english-hungarian.scm
+share/TeXmacs/langs/natural/dic/english-ignore.scm
 share/TeXmacs/langs/natural/dic/english-italian.scm
 share/TeXmacs/langs/natural/dic/english-japanese.scm
 share/TeXmacs/langs/natural/dic/english-korean.scm
@@ -2905,10 +2932,19 @@ share/TeXmacs/langs/natural/hyphen/hyphe
 share/TeXmacs/langs/natural/hyphen/hyphen.ukrainian
 share/TeXmacs/langs/natural/hyphen/hyphen.us
 share/TeXmacs/langs/natural/hyphen/lppl-1.3.txt
+share/TeXmacs/langs/natural/miss/english-bulgarian-miss.scm
+share/TeXmacs/langs/natural/miss/english-chinese-miss.scm
+share/TeXmacs/langs/natural/miss/english-croatian-miss.scm
 share/TeXmacs/langs/natural/miss/english-czech-miss.scm
+share/TeXmacs/langs/natural/miss/english-danish-miss.scm
+share/TeXmacs/langs/natural/miss/english-esperanto-miss.scm
 share/TeXmacs/langs/natural/miss/english-finnish-miss.scm
+share/TeXmacs/langs/natural/miss/english-german-miss.scm
+share/TeXmacs/langs/natural/miss/english-greek-miss.scm
 share/TeXmacs/langs/natural/miss/english-hungarian-miss.scm
 share/TeXmacs/langs/natural/miss/english-italian-miss.scm
+share/TeXmacs/langs/natural/miss/english-japanese-miss.scm
+share/TeXmacs/langs/natural/miss/english-korean-miss.scm
 share/TeXmacs/langs/natural/miss/english-polish-miss.scm
 share/TeXmacs/langs/natural/miss/english-portuguese-miss.scm
 share/TeXmacs/langs/natural/miss/english-romanian-miss.scm
@@ -2916,15 +2952,15 @@ share/TeXmacs/langs/natural/miss/english
 share/TeXmacs/langs/natural/miss/english-slovene-miss.scm
 share/TeXmacs/langs/natural/miss/english-spanish-miss.scm
 share/TeXmacs/langs/natural/miss/english-swedish-miss.scm
+share/TeXmacs/langs/natural/miss/english-taiwanese-miss.scm
 share/TeXmacs/langs/natural/miss/english-ukrainian-miss.scm
+share/TeXmacs/misc/bib/texmacs.bib
 share/TeXmacs/misc/convert/color.pro
 share/TeXmacs/misc/convert/html_commands
 share/TeXmacs/misc/convert/pdf_info.ps
 share/TeXmacs/misc/convert/special.pro
 share/TeXmacs/misc/convert/tex.pro
 share/TeXmacs/misc/convert/texps.pro
-share/TeXmacs/misc/images/TeXmacs.png
-share/TeXmacs/misc/images/TeXmacs.svg
 share/TeXmacs/misc/images/fancy-c.png
 share/TeXmacs/misc/images/fancy-c.svg
 share/TeXmacs/misc/images/fancy-l.png
@@ -2942,22 +2978,55 @@ share/TeXmacs/misc/images/right-head.png
 share/TeXmacs/misc/images/ring-binder-1.png
 share/TeXmacs/misc/images/ring-binder-2.png
 share/TeXmacs/misc/images/ring-binder-3.png
-share/TeXmacs/misc/images/text-texmacs.svg
+share/TeXmacs/misc/images/texmacs-128.png
+share/TeXmacs/misc/images/texmacs-16.png
+share/TeXmacs/misc/images/texmacs-192.png
+share/TeXmacs/misc/images/texmacs-20.png
+share/TeXmacs/misc/images/texmacs-22.png
+share/TeXmacs/misc/images/texmacs-24.png
+share/TeXmacs/misc/images/texmacs-256.png
+share/TeXmacs/misc/images/texmacs-32.png
+share/TeXmacs/misc/images/texmacs-36.png
+share/TeXmacs/misc/images/texmacs-40.png
+share/TeXmacs/misc/images/texmacs-48.png
+share/TeXmacs/misc/images/texmacs-512.png
+share/TeXmacs/misc/images/texmacs-64.png
+share/TeXmacs/misc/images/texmacs-72.png
+share/TeXmacs/misc/images/texmacs-96.png
+share/TeXmacs/misc/images/texmacs.svg
+share/TeXmacs/misc/images/text-x-texmacs-128.png
+share/TeXmacs/misc/images/text-x-texmacs-16.png
+share/TeXmacs/misc/images/text-x-texmacs-192.png
+share/TeXmacs/misc/images/text-x-texmacs-20.png
+share/TeXmacs/misc/images/text-x-texmacs-22.png
+share/TeXmacs/misc/images/text-x-texmacs-24.png
+share/TeXmacs/misc/images/text-x-texmacs-256.png
+share/TeXmacs/misc/images/text-x-texmacs-32.png
+share/TeXmacs/misc/images/text-x-texmacs-36.png
+share/TeXmacs/misc/images/text-x-texmacs-40.png
+share/TeXmacs/misc/images/text-x-texmacs-48.png
+share/TeXmacs/misc/images/text-x-texmacs-512.png
+share/TeXmacs/misc/images/text-x-texmacs-64.png
+share/TeXmacs/misc/images/text-x-texmacs-72.png
+share/TeXmacs/misc/images/text-x-texmacs-96.png
+share/TeXmacs/misc/images/text-x-texmacs.svg
 share/TeXmacs/misc/images/tm_gnu1.png
 share/TeXmacs/misc/images/tm_gnu1.ps
 share/TeXmacs/misc/images/tm_gnu2.png
 share/TeXmacs/misc/images/tm_gnu2.ps
 share/TeXmacs/misc/images/tm_gnu3.png
 share/TeXmacs/misc/images/tm_gnu3.ps
+share/TeXmacs/misc/images/welcome-email.png
+share/TeXmacs/misc/images/welcome-help.png
+share/TeXmacs/misc/images/welcome-manual.png
+share/TeXmacs/misc/images/welcome-promote.png
+share/TeXmacs/misc/images/welcome-videos.png
 share/TeXmacs/misc/inkscape_extension/texmacs.inx
 share/TeXmacs/misc/inkscape_extension/texmacs_latex.sty
 share/TeXmacs/misc/inkscape_extension/texmacs_reedit.py
 share/TeXmacs/misc/latex/TeXmacs.sty
 share/TeXmacs/misc/latex/f2pspost.tex
-share/TeXmacs/misc/mime/texmacs.applications
 share/TeXmacs/misc/mime/texmacs.desktop
-share/TeXmacs/misc/mime/texmacs.keys
-share/TeXmacs/misc/mime/texmacs.mime
 share/TeXmacs/misc/mime/texmacs.xml
 share/TeXmacs/misc/patterns/dots-hatches/dots-A-05.png
 share/TeXmacs/misc/patterns/dots-hatches/dots-A-10.png
@@ -3173,6 +3242,10 @@ share/TeXmacs/misc/patterns/wood/wood-5.
 share/TeXmacs/misc/patterns/wood/wood-6.jpg
 share/TeXmacs/misc/pictures/blackboard/thumbnail-blackboard-pxhere.jpg
 share/TeXmacs/misc/pictures/cover/thumbnail-gold-landscape-book.jpg
+share/TeXmacs/misc/pictures/frames/thumbnail-black-floral1-frame.png
+share/TeXmacs/misc/pictures/frames/thumbnail-black-floral2-frame.png
+share/TeXmacs/misc/pictures/frames/thumbnail-carved-wood-frame.jpg
+share/TeXmacs/misc/pictures/frames/thumbnail-decorated-wood-frame.jpg
 share/TeXmacs/misc/pictures/gradients/black-corner-gradient.jpg
 share/TeXmacs/misc/pictures/gradients/black-gradient-frame.jpg
 share/TeXmacs/misc/pictures/gradients/corner-gradient.jpg
@@ -3182,6 +3255,14 @@ share/TeXmacs/misc/pictures/paper/thumbn
 share/TeXmacs/misc/pictures/paper/thumbnail-paper-antique-coffee.jpg
 share/TeXmacs/misc/pictures/paper/thumbnail-paper-antique-latte.jpg
 share/TeXmacs/misc/pictures/paper/thumbnail-paper-antique-sand.jpg
+share/TeXmacs/misc/pictures/shadows/thumbnail-angular-shadow.png
+share/TeXmacs/misc/pictures/shadows/thumbnail-bend-diag-in-shadow.png
+share/TeXmacs/misc/pictures/shadows/thumbnail-bend-in-shadow.png
+share/TeXmacs/misc/pictures/shadows/thumbnail-bend-out-shadow.png
+share/TeXmacs/misc/pictures/shadows/thumbnail-cartoon-shadow.png
+share/TeXmacs/misc/pictures/shadows/thumbnail-drop-shadow.png
+share/TeXmacs/misc/pictures/shadows/thumbnail-round-shadow.png
+share/TeXmacs/misc/pictures/shadows/title-drop-shadow.png
 share/TeXmacs/misc/pictures/wood/thumbnail-wood-table.jpg
 share/TeXmacs/misc/pictures/wood/thumbnail-wood-wallpaper.jpg
 share/TeXmacs/misc/pixmaps/LICENSE
@@ -3198,43 +3279,54 @@ share/TeXmacs/misc/pixmaps/modern/16x16/
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_add_2.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_add_2.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_add_2_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_add_2_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_add_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_add_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_both.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_both.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_both.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_both_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_both_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_first.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_first.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_first.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_first_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_first_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_second.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_second.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_second.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_second_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_second_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anchor.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anchor.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anchor.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anchor_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anchor_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_bump.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_bump.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_bump.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_bump_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_bump_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_fade_in.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_fade_in.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_fade_in.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_fade_in_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_fade_in_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_fade_out.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_fade_out.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_fade_out.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_fade_out_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_fade_out_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_faded.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_faded.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_faded.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_faded_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_faded_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_normal.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_normal.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_normal.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_normal_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_normal_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse.xpm
@@ -3242,63 +3334,79 @@ share/TeXmacs/misc/pixmaps/modern/16x16/
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_bump.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_bump.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_bump_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_bump_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_fade_in.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_fade_in.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_fade_in.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_fade_in_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_fade_in_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_fade_out.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_fade_out.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_fade_out.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_fade_out_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_fade_out_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_faded.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_faded.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_faded.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_faded_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_faded_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_anim_reverse_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_british.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_british.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_british.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_british_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_british_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_bulgarian.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_bulgarian.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_bulgarian.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_bulgarian_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_bulgarian_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_camera.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_camera.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_camera.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_camera_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_camera_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_background.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_background.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_background.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_background_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_background_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_border.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_border.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_border.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_border_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_border_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_center.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_center.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_center.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_center_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_center_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_dot.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_dot.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_dot.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_dot_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_dot_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_join.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_join.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_join.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_join_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_join_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_left.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_left.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_left.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_left_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_left_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_pos.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_pos.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_pos.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_pos_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_pos_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_right.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_right.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_right.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_right_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_right_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_size.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_size.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_size.xpm
@@ -3306,113 +3414,141 @@ share/TeXmacs/misc/pixmaps/modern/16x16/
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_size_var.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_size_var.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_size_var_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_size_var_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_size_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_size_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_special.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_special.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_special.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_special_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_special_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_split.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_split.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_split.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_split_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_split_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_subtable.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_subtable.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_subtable.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_subtable_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_subtable_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_var_subtable.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_var_subtable.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_var_subtable.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_var_subtable_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_var_subtable_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_wrap.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_wrap.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_wrap.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_wrap_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_wrap_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_chinese.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_chinese.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_chinese.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_chinese_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_chinese_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_close_tool.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_close_tool.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_close_tool.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_close_tool_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_close_tool_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_clsession.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_clsession.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_clsession.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_clsession_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_clsession_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_compress_tool.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_compress_tool.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_compress_tool.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_compress_tool_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_compress_tool_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_after.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_after.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_after.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_after_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_after_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_before.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_before.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_before.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_before_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_before_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_both.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_both.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_both.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_both_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_copy_both_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_croatian.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_croatian.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_croatian.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_croatian_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_croatian_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_customized.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_customized.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_customized.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_customized_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_customized_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_czech.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_czech.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_czech.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_czech_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_czech_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_danish.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_danish.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_danish.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_danish_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_danish_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_after.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_after.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_after.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_after_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_after_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_before.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_before.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_before.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_before_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_before_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_down.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_down.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_down.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_down_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_down_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_left.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_left.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_left.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_left_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_left_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_right.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_right.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_right.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_right_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_right_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_up.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_up.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_up.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_up_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_up_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_down.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_down.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_down.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_down_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_down_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_dutch.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_dutch.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_dutch.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_dutch_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_dutch_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_emphasize.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_emphasize.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_english.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_english.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_english.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_english_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_english_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_enter_image.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_enter_image.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_enter_image.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_enter_image_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_enter_image_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_esperanto.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_esperanto.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_esperanto_x2.png
@@ -3420,90 +3556,117 @@ share/TeXmacs/misc/pixmaps/modern/16x16/
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_exit_left.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_exit_left.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_exit_left_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_exit_left_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_exit_right.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_exit_right.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_exit_right.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_exit_right_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_exit_right_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_expand_tool.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_expand_tool.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_expand_tool.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_expand_tool_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_expand_tool_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_filter.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_filter.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_filter.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_filter_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_filter_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_finnish.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_finnish.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_finnish.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_finnish_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_finnish_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_delete.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_delete.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_delete.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_delete_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_delete_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_font.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_font.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_font.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_font_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_font_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_help.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_help.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_help.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_help_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_help_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_prefs.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_prefs.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_prefs.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_prefs_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_prefs_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_search.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_search.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_search.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_search_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_search_x4.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_style.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_style.svg
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_style.xpm
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_style_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_style_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_french.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_french.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_french.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_french_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_french_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_german.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_german.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_german.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_german_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_german_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_go.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_go.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_go.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_go_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_go_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_greek.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_greek.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_greek.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_greek_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_greek_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_hungarian.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_hungarian.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_hungarian.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_hungarian_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_hungarian_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_down.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_down.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_down.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_down_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_down_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_left.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_left.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_left.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_left_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_left_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_right.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_right.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_right.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_right_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_right_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_up.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_up.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_up.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_up_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_up_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_italian.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_italian.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_italian.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_italian_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_italian_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_japanese.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_japanese.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_japanese.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_japanese_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_japanese_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_korean.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_korean.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_korean.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_korean_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_korean_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape.xpm
@@ -3511,11 +3674,14 @@ share/TeXmacs/misc/pixmaps/modern/16x16/
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape_1col.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape_1col.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape_1col_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape_1col_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape_2col.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape_2col.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape_2col.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape_2col_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape_2col_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_landscape_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_large_around.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_large_around.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_large_around.xpm
@@ -3523,7 +3689,9 @@ share/TeXmacs/misc/pixmaps/modern/16x16/
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_large_around_2.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_large_around_2.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_large_around_2_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_large_around_2_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_large_around_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_large_around_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left.xpm
@@ -3531,19 +3699,29 @@ share/TeXmacs/misc/pixmaps/modern/16x16/
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left_down.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left_down.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left_down_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left_down_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left_up.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left_up.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left_up.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left_up_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left_up_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_left_x4.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_like.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_like.svg
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_like.xpm
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_like_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_like_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_lock_closed.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_lock_closed.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_lock_closed.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_lock_closed_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_lock_closed_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_lock_open.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_lock_open.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_lock_open.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_lock_open_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_lock_open_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_math.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_math.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_name.png
@@ -3552,38 +3730,47 @@ share/TeXmacs/misc/pixmaps/modern/16x16/
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_numbered.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_numbered.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_numbered_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_numbered_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_outwards.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_outwards.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_outwards.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_outwards_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_outwards_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_gaussian.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_gaussian.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_gaussian.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_gaussian_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_gaussian_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_motion.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_motion.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_motion.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_motion_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_motion_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_oval.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_oval.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_oval.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_oval_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_oval_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_rectangular.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_rectangular.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_rectangular.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_rectangular_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_pen_rectangular_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_plugin_input.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_plugin_input.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_plugin_input.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_plugin_input_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_plugin_input_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_plugin_output.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_plugin_output.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_plugin_output.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_plugin_output_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_plugin_output_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_polish.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_polish.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_polish.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_polish_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_polish_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait.xpm
@@ -3591,31 +3778,39 @@ share/TeXmacs/misc/pixmaps/modern/16x16/
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait_1col.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait_1col.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait_1col_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait_1col_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait_2col.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait_2col.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait_2col.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait_2col_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait_2col_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portrait_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portuguese.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portuguese.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portuguese.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portuguese_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_portuguese_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_position_float.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_position_float.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_position_float.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_position_float_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_position_float_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_remove.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_remove.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_remove.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_remove_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_remove_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_replace_all.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_replace_all.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_replace_all.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_replace_all_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_replace_all_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_replace_one.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_replace_one.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_replace_one.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_replace_one_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_replace_one_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right.xpm
@@ -3623,23 +3818,29 @@ share/TeXmacs/misc/pixmaps/modern/16x16/
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right_down.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right_down.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right_down_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right_down_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right_up.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right_up.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right_up.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right_up_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right_up_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_right_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_romanian.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_romanian.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_romanian.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_romanian_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_romanian_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_root_index.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_root_index.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_root_index.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_root_index_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_root_index_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_russian.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_russian.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_russian.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_russian_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_russian_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_sample.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_sample.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_sansserif.png
@@ -3648,50 +3849,62 @@ share/TeXmacs/misc/pixmaps/modern/16x16/
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_first.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_first.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_first_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_first_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_last.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_last.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_last.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_last_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_last_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_next.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_next.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_next.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_next_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_next_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_previous.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_previous.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_previous.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_previous_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_search_previous_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_session_session.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_session_session.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_session_session.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_session_session_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_session_session_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_set_properties.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_set_properties.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_set_properties.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_set_properties_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_set_properties_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_show_hidden.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_show_hidden.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_show_hidden.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_show_hidden_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_show_hidden_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_first.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_first.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_first.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_first_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_first_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_last.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_last.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_last.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_last_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_last_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_next.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_next.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_next.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_next_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_next_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_previous.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_previous.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_previous.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_previous_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_previous_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_slovene.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_slovene.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_slovene.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_slovene_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_slovene_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve.xpm
@@ -3699,11 +3912,14 @@ share/TeXmacs/misc/pixmaps/modern/16x16/
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve_deco.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve_deco.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve_deco_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve_deco_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve_intersection.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve_intersection.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve_intersection.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve_intersection_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve_intersection_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_curve_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid.xpm
@@ -3711,175 +3927,218 @@ share/TeXmacs/misc/pixmaps/modern/16x16/
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid_curve.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid_curve.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid_curve_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid_curve_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid_intersection.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid_intersection.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid_intersection.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid_intersection_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid_intersection_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_grid_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_midpoint.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_midpoint.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_midpoint.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_midpoint_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_midpoint_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_text_border.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_text_border.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_text_border.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_text_border_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_text_border_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_text_deco.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_text_deco.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_text_deco.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_text_deco_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_snap_text_deco_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_spanish.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_spanish.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_spanish.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_spanish_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_spanish_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_stateless.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_stateless.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_stateless.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_stateless_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_stateless_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_stop.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_stop.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_stop.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_stop_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_stop_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_strong.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_strong.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_swedish.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_swedish.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_swedish.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_swedish_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_swedish_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_table_parwidth.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_table_parwidth.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_table_parwidth.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_table_parwidth_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_table_parwidth_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_taiwanese.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_taiwanese.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_taiwanese.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_taiwanese_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_taiwanese_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_theme.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_theme.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_theme.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_theme_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_theme_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_ukrainian.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_ukrainian.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_ukrainian.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_ukrainian_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_ukrainian_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_up.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_up.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_up.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_up_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_up_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_verbatim.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_verbatim.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_wide_float.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_wide_float.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_wide_float.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_wide_float_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_wide_float_x4.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_wide_under.png
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_wide_under.svg
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_wide_under.xpm
 share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_wide_under_x2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_wide_under_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_activate.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_activate.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_activate.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_activate_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_activate_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_alignment.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_alignment.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_alignment.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_alignment_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_alignment_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_and.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_and.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_and.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_and_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_and_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_animate.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_animate.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_animate.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_animate_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_animate_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_answer.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_answer.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_answer.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_answer_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_answer_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arc_mode.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arc_mode.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arc_mode.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arc_mode_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arc_mode_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arrow.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arrow.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arrow.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arrow_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arrow_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_assign.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_assign.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_assign.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_assign_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_assign_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bbb.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bbb.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bbb.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bbb_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bbb_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigaround.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigaround.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigaround.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigaround_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigaround_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigop.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigop.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigop.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigop_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigop_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binop.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binop.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binop.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binop_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binop_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binrel.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binrel.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binrel.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binrel_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binrel_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_block.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_block.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_block.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_block_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_block_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bold.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bold.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bold.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bold_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bold_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cal.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cal.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cal.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cal_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cal_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_carc_mode.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_carc_mode.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_carc_mode.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_carc_mode_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_carc_mode_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_chapter.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_chapter.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_chapter.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_chapter_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_chapter_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cline_mode.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cline_mode.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cline_mode.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cline_mode_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cline_mode_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_color.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_color.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_color.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_color_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_color_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_compact.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_compact.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_compact.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_compact_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_compact_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cspline_mode.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cspline_mode.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cspline_mode.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cspline_mode_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cspline_mode_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_ctrl_flow.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_ctrl_flow.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_ctrl_flow.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_ctrl_flow_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_ctrl_flow_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_document_at.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_document_at.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_document_at.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_document_at_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_document_at_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_edit_props.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_edit_props.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_edit_props.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_edit_props_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_edit_props_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_emphasize.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_emphasize.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_emphasize.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_emphasize_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_emphasize_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry.xpm
@@ -3887,115 +4146,144 @@ share/TeXmacs/misc/pixmaps/modern/20x20/
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_add.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_add.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_add_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_add_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_confirm.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_confirm.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_confirm.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_confirm_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_confirm_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_remove.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_remove.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_remove.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_remove_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_remove_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_entry_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_equal.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_equal.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_equal.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_equal_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_equal_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_exit_image.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_exit_image.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_exit_image.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_exit_image_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_exit_image_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_explain.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_explain.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_explain.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_explain_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_explain_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_floatpos.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_floatpos.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_floatpos.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_floatpos_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_floatpos_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_fraction.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_fraction.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_fraction.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_fraction_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_fraction_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_frak.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_frak.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_frak.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_frak_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_frak_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_gap.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_gap.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_gap.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_gap_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_gap_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_geometry.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_geometry.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_geometry.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_geometry_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_geometry_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_grid.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_grid.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_grid.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_grid_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_grid_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_greek_char.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_greek_char.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_greek_char.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_greek_char_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_greek_char_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_group.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_group.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_group.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_group_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_group_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_move.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_move.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_move.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_move_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_move_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_rotate.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_rotate.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_rotate.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_rotate_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_rotate_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_zoom.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_zoom.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_zoom.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_zoom_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_zoom_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_gui.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_gui.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_gui.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_gui_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_gui_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_help.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_help.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_help.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_help_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_help_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_image.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_image.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_image.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_image_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_image_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_index.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_index.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_index.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_index_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_index_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_ink_mode.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_ink_mode.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_ink_mode.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_ink_mode_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_ink_mode_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_italic.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_italic.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_italic.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_italic_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_italic_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_junior.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_junior.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_junior.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_junior_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_junior_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_lambda.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_lambda.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_lambda.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_lambda_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_lambda_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_line_mode.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_line_mode.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_line_mode.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_line_mode_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_line_mode_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_link.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_link.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_link.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_link_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_link_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_list.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_list.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_list.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_list_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_list_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math.xpm
@@ -4003,27 +4291,34 @@ share/TeXmacs/misc/pixmaps/modern/20x20/
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_preferences.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_preferences.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_preferences_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_preferences_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_style.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_style.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_style.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_style_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_style_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_syntax.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_syntax.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_syntax.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_syntax_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_syntax_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_mathbold.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_mathbold.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_mathbold.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_mathbold_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_mathbold_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_mc.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_mc.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_mc.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_mc_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_mc_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_miscsymb.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_miscsymb.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_miscsymb.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_miscsymb_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_miscsymb_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_name.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_name.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_name.xpm
@@ -4031,165 +4326,206 @@ share/TeXmacs/misc/pixmaps/modern/20x20/
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_name_bis.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_name_bis.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_name_bis_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_name_bis_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_name_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_name_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_op.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_op.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_op.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_op_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_op_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_overlays.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_overlays.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_overlays.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_overlays_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_overlays_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_pageins.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_pageins.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_pageins.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_pageins_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_pageins_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parindent.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parindent.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parindent.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parindent_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parindent_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parstyle.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parstyle.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parstyle.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parstyle_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parstyle_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_point_mode.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_point_mode.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_point_mode.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_point_mode_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_point_mode_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prime.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prime.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prime.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prime_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prime_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_program.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_program.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_program.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_program_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_program_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prominent.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prominent.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prominent.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prominent_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prominent_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_question.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_question.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_question.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_question_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_question_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_quote.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_quote.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_root.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_root.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_root.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_root_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_root_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sample.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sample.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sample.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sample_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sample_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sansserif.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sansserif.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sansserif.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sansserif_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sansserif_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_section.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_section.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_section.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_section_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_section_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_shell.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_shell.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_shell.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_shell_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_shell_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_smallcaps.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_smallcaps.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_smallcaps.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_smallcaps_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_smallcaps_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_spline_mode.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_spline_mode.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_spline_mode.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_spline_mode_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_spline_mode_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_stretch.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_stretch.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_stretch.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_stretch_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_stretch_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_strong.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_strong.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_strong.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_strong_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_strong_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_subsup.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_subsup.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_subsup.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_subsup_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_subsup_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_switch.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_switch.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_switch.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_switch_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_switch_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_table.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_table.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_table.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_table_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_table_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textat_mode.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textat_mode.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textat_mode.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textat_mode_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textat_mode_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textual.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textual.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textual.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textual_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textual_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_theorem.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_theorem.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_theorem.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_theorem_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_theorem_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_three.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_three.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_three.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_three_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_three_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tmdoc_annotate.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tmdoc_annotate.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tmdoc_annotate.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tmdoc_annotate_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tmdoc_annotate_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tmdoc_title.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tmdoc_title.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tmdoc_title.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tmdoc_title_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tmdoc_title_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_traverse.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_traverse.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_traverse.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_traverse_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_traverse_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tuple.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tuple.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tuple.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tuple_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tuple_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_typewriter.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_typewriter.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_typewriter.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_typewriter_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_typewriter_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_unequal.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_unequal.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_unequal.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_unequal_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_unequal_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_var_prominent.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_var_prominent.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_var_prominent.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_var_prominent_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_var_prominent_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_verbatim.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_verbatim.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_verbatim.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_verbatim_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_verbatim_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_view.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_view.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_view.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_view_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_view_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_von.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_von.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_von.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_von_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_von_x4.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_wide.png
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_wide.svg
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_wide.xpm
 share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_wide_x2.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_wide_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_back.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_back.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_back.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_back_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_back_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_build.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_build.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_build.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_build_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_build_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cancel.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cancel.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cancel.xpm
@@ -4197,15 +4533,19 @@ share/TeXmacs/misc/pixmaps/modern/24x24/
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cancel_2.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cancel_2.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cancel_2_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cancel_2_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cancel_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cancel_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_copy.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_copy.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_copy.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_copy_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_copy_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cut.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cut.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cut.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cut_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cut_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_find.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_find.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_find.xpm
@@ -4213,15 +4553,19 @@ share/TeXmacs/misc/pixmaps/modern/24x24/
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_find_next.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_find_next.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_find_next_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_find_next_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_find_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_find_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_forward.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_forward.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_forward.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_forward_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_forward_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_language.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_language.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_language.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_language_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_language_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow.xpm
@@ -4229,15 +4573,19 @@ share/TeXmacs/misc/pixmaps/modern/24x24/
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_bar.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_bar.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_bar_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_bar_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_double.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_double.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_double.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_double_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_double_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_new.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_new.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_new.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_new_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_new_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_open.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_open.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_open.xpm
@@ -4245,19 +4593,24 @@ share/TeXmacs/misc/pixmaps/modern/24x24/
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_open_bis.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_open_bis.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_open_bis_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_open_bis_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_open_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_open_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_paste.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_paste.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_paste.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_paste_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_paste_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_preferences.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_preferences.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_preferences.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_preferences_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_preferences_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_print.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_print.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_print.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_print_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_print_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow.xpm
@@ -4265,156 +4618,211 @@ share/TeXmacs/misc/pixmaps/modern/24x24/
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_bar.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_bar.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_bar_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_bar_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_double.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_double.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_double.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_double_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_double_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_redo.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_redo.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_redo.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_redo_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_redo_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_reload.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_reload.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_reload.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_reload_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_reload_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_replace.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_replace.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_replace.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_replace_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_replace_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_save.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_save.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_save.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_save_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_save_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_spell.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_spell.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_spell.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_spell_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_spell_x4.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_undo.png
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_undo.svg
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_undo.xpm
 share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_undo_x2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_undo_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_convert.png
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_convert.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_convert.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_convert_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_convert_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_general.png
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_general.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_general.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_general_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_general_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_keyboard.png
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_keyboard.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_keyboard.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_keyboard_right_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_keyboard_right_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_keyboard_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_keyboard_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_other.png
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_other.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_other.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_other_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_other_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_security.png
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_security.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_security.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_security_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/settings/tm_prefs_security_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_b.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_b.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_b.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_b_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_b_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_l.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_l.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_l.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_l_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_l_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lb.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lb.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lb.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lb_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lb_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lr.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lr.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lr.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lr_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lr_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrb.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrb.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrb.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrb_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrb_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrt.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrt.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrt.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrt_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrt_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrtb.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrtb.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrtb.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrtb_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lrtb_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lt.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lt.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lt.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lt_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_lt_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_ltb.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_ltb.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_ltb.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_ltb_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_ltb_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_none.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_none.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_none.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_none_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_none_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_r.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_r.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_r.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_r_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_r_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rb.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rb.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rb.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rb_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rb_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rt.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rt.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rt.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rt_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rt_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rtb.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rtb.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rtb.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rtb_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_rtb_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_t.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_t.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_t.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_t_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_t_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_tb.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_tb.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_tb.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_tb_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_border_tb_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_h_h_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_h_h_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_h_hv_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_h_hv_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_h_none_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_h_none_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_h_v_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_h_v_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_hv_h_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_hv_h_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_hv_hv_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_hv_hv_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_hv_none_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_hv_none_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_hv_v_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_hv_v_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_none_h_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_none_h_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_none_hv_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_none_hv_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_none_none_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_none_none_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_none_v_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_none_v_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_v_h_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_v_h_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_v_hv_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_v_hv_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_v_none_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_v_none_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_v_v_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_borders_v_v_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_h.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_h.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_h.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_h_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_h_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_hv.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_hv.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_hv.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_hv_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_hv_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_none.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_none.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_none.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_none_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_none_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_v.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_v.svg
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_v.xpm
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_v_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_both_v_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_inner_h_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_inner_h_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_inner_hv_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_inner_hv_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_inner_none_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_inner_none_x4.png
 share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_inner_v_x2.png
+share/TeXmacs/misc/pixmaps/modern/32x32/table/tm_inner_v_x4.png
 share/TeXmacs/misc/pixmaps/traditional/--x17/tm_abstract.xpm
 share/TeXmacs/misc/pixmaps/traditional/--x17/tm_acute.xpm
 share/TeXmacs/misc/pixmaps/traditional/--x17/tm_bar.xpm
@@ -4569,6 +4977,8 @@ share/TeXmacs/packages/beamer/decoration
 share/TeXmacs/packages/beamer/decorations/framed-envs.ts
 share/TeXmacs/packages/beamer/decorations/math-ss.ts
 share/TeXmacs/packages/beamer/decorations/ornaments.ts
+share/TeXmacs/packages/beamer/decorations/shadowed-frames.ts
+share/TeXmacs/packages/beamer/decorations/shadowed-titles.ts
 share/TeXmacs/packages/beamer/presentation.ts
 share/TeXmacs/packages/beamer/slides.ts
 share/TeXmacs/packages/beamer/title/framed-title.ts
@@ -4591,6 +5001,14 @@ share/TeXmacs/packages/customize/encrypt
 share/TeXmacs/packages/customize/encryption/gpg-info-level-none.ts
 share/TeXmacs/packages/customize/encryption/gpg-info-level-short.ts
 share/TeXmacs/packages/customize/float/captions-above.ts
+share/TeXmacs/packages/customize/fonts/biolinum-font.ts
+share/TeXmacs/packages/customize/fonts/bonum-font.ts
+share/TeXmacs/packages/customize/fonts/fira-font.ts
+share/TeXmacs/packages/customize/fonts/libertine-font.ts
+share/TeXmacs/packages/customize/fonts/pagella-font.ts
+share/TeXmacs/packages/customize/fonts/schola-font.ts
+share/TeXmacs/packages/customize/fonts/termes-font.ts
+share/TeXmacs/packages/customize/fonts/texgyre-font.ts
 share/TeXmacs/packages/customize/frame/rounded-frames.ts
 share/TeXmacs/packages/customize/language/british.ts
 share/TeXmacs/packages/customize/language/bulgarian.ts
@@ -4634,6 +5052,7 @@ share/TeXmacs/packages/customize/spacing
 share/TeXmacs/packages/customize/spacing/narrow-middle.ts
 share/TeXmacs/packages/customize/spacing/narrow-multiply.ts
 share/TeXmacs/packages/customize/spacing/normal-spacing.ts
+share/TeXmacs/packages/customize/spacing/old-dots.ts
 share/TeXmacs/packages/customize/spacing/old-spacing.ts
 share/TeXmacs/packages/customize/spacing/regular-apply.ts
 share/TeXmacs/packages/customize/spacing/regular-middle.ts
@@ -4691,12 +5110,14 @@ share/TeXmacs/packages/header/title-base
 share/TeXmacs/packages/header/title-book.ts
 share/TeXmacs/packages/header/title-generic.ts
 share/TeXmacs/packages/header/title-seminar.ts
+share/TeXmacs/packages/html/html-fold.ts
 share/TeXmacs/packages/latex/revtex/revtex-10pt.ts
 share/TeXmacs/packages/latex/revtex/revtex-11pt.ts
 share/TeXmacs/packages/latex/revtex/revtex-12pt.ts
 share/TeXmacs/packages/miscellaneous/chat.ts
 share/TeXmacs/packages/miscellaneous/docoq.ts
 share/TeXmacs/packages/miscellaneous/macro-editor.ts
+share/TeXmacs/packages/miscellaneous/plot-editor.ts
 share/TeXmacs/packages/obsolete/presentation-ridged-paper.ts
 share/TeXmacs/packages/poster/size/a0-poster.ts
 share/TeXmacs/packages/poster/size/a1-poster.ts
@@ -4734,6 +5155,8 @@ share/TeXmacs/packages/test/algo.ts
 share/TeXmacs/packages/themes/base/base-colors.ts
 share/TeXmacs/packages/themes/base/base-combo.ts
 share/TeXmacs/packages/themes/base/base-deco.ts
+share/TeXmacs/packages/themes/base/base-frame.ts
+share/TeXmacs/packages/themes/base/base-shadow.ts
 share/TeXmacs/packages/themes/blackboard/blackboard-combo.ts
 share/TeXmacs/packages/themes/blackboard/blackboard-deco.ts
 share/TeXmacs/packages/themes/blackboard/blackboard-scene.ts
@@ -4780,6 +5203,8 @@ share/TeXmacs/packages/themes/plain/pale
 share/TeXmacs/packages/themes/plain/pale-blue.ts
 share/TeXmacs/packages/themes/plain/reddish-combo.ts
 share/TeXmacs/packages/themes/plain/reddish.ts
+share/TeXmacs/packages/themes/std/std-frame.ts
+share/TeXmacs/packages/themes/std/std-shadow.ts
 share/TeXmacs/packages/themes/transparent/transparent-deco.ts
 share/TeXmacs/packages/themes/transparent/transparent-scene.ts
 share/TeXmacs/packages/themes/vador/dark-vador-combo.ts
@@ -4794,15 +5219,16 @@ share/TeXmacs/packages/utilities/icourse
 share/TeXmacs/packages/utilities/literate.ts
 share/TeXmacs/packages/utilities/live.ts
 share/TeXmacs/packages/utilities/relate.ts
-share/TeXmacs/plugins/CMakeLists.txt
 share/TeXmacs/plugins/Makefile
 share/TeXmacs/plugins/README.md
 share/TeXmacs/plugins/asymptote/doc/asymptote-abstract.en.tm
+share/TeXmacs/plugins/asymptote/doc/asymptote-abstract.zh.tm
 share/TeXmacs/plugins/asymptote/doc/asymptote-demo.en.tm
+share/TeXmacs/plugins/asymptote/doc/asymptote-demo.zh.tm
 share/TeXmacs/plugins/asymptote/doc/asymptote.en.tm
+share/TeXmacs/plugins/asymptote/doc/asymptote.zh.tm
 share/TeXmacs/plugins/asymptote/progs/asymptote-menus.scm
 share/TeXmacs/plugins/asymptote/progs/init-asymptote.scm
-share/TeXmacs/plugins/axiom/CMakeLists.txt
 share/TeXmacs/plugins/axiom/Makefile
 share/TeXmacs/plugins/axiom/bin/tm_axiom
 share/TeXmacs/plugins/axiom/doc/axiom-abstract.en.tm
@@ -4824,7 +5250,6 @@ share/TeXmacs/plugins/cadabra/progs/init
 share/TeXmacs/plugins/cocoa5/doc/cocoa5-demo.en.tm
 share/TeXmacs/plugins/cocoa5/doc/cocoa5.en.tm
 share/TeXmacs/plugins/cocoa5/progs/init-cocoa5.scm
-share/TeXmacs/plugins/coq/CMakeLists.txt
 share/TeXmacs/plugins/coq/Makefile
 share/TeXmacs/plugins/coq/bin/tm_coq
 share/TeXmacs/plugins/coq/packages/session/coq.ts
@@ -4837,7 +5262,6 @@ share/TeXmacs/plugins/coq/src/tm_coq.c
 share/TeXmacs/plugins/coq/tm_coq
 share/TeXmacs/plugins/coq/tm_coq_autogen/moc_predefs.h
 share/TeXmacs/plugins/coq/tm_coq_autogen/mocs_compilation.cpp
-share/TeXmacs/plugins/dratex/bin/tm_dratex
 share/TeXmacs/plugins/dratex/doc/dratex-abstract.en.tm
 share/TeXmacs/plugins/dratex/doc/dratex-demo.en.tm
 share/TeXmacs/plugins/dratex/doc/dratex.en.tm
@@ -4885,6 +5309,13 @@ share/TeXmacs/plugins/graph/doc/graph-de
 share/TeXmacs/plugins/graph/doc/graph-todo.en.tm
 share/TeXmacs/plugins/graph/doc/graph.en.tm
 share/TeXmacs/plugins/graph/progs/init-graph.scm
+share/TeXmacs/plugins/graphviz/doc/graphviz-abstract.en.tm
+share/TeXmacs/plugins/graphviz/doc/graphviz-abstract.zh.tm
+share/TeXmacs/plugins/graphviz/doc/graphviz-demo.en.tm
+share/TeXmacs/plugins/graphviz/doc/graphviz-demo.zh.tm
+share/TeXmacs/plugins/graphviz/doc/graphviz.en.tm
+share/TeXmacs/plugins/graphviz/doc/graphviz.zh.tm
+share/TeXmacs/plugins/graphviz/progs/init-graphviz.scm
 share/TeXmacs/plugins/gtybalt/doc/gtybalt-abstract.en.tm
 share/TeXmacs/plugins/gtybalt/doc/gtybalt.en.tm
 share/TeXmacs/plugins/gtybalt/progs/init-gtybalt.scm
@@ -4908,7 +5339,6 @@ share/TeXmacs/plugins/macaulay2/doc/maca
 share/TeXmacs/plugins/macaulay2/packages/session/macaulay2.ts
 share/TeXmacs/plugins/macaulay2/progs/init-macaulay2.scm
 share/TeXmacs/plugins/macaulay2/progs/m2-input.scm
-share/TeXmacs/plugins/maple/CMakeLists.txt
 share/TeXmacs/plugins/maple/Makefile
 share/TeXmacs/plugins/maple/Makefile.9
 share/TeXmacs/plugins/maple/bin/tm_maple
@@ -4961,12 +5391,14 @@ share/TeXmacs/plugins/matlab/code/typein
 share/TeXmacs/plugins/matlab/doc/matlab.en.tm
 share/TeXmacs/plugins/matlab/progs/init-matlab.scm
 share/TeXmacs/plugins/maxima/README.md
-share/TeXmacs/plugins/maxima/bin/maxima_detect
 share/TeXmacs/plugins/maxima/bin/tm_maxima
 share/TeXmacs/plugins/maxima/doc/maxima-abstract.en.tm
+share/TeXmacs/plugins/maxima/doc/maxima-abstract.zh.tm
 share/TeXmacs/plugins/maxima/doc/maxima-demo.en.tm
 share/TeXmacs/plugins/maxima/doc/maxima-demo.it.tm
+share/TeXmacs/plugins/maxima/doc/maxima-demo.zh.tm
 share/TeXmacs/plugins/maxima/doc/maxima.en.tm
+share/TeXmacs/plugins/maxima/doc/maxima.zh.tm
 share/TeXmacs/plugins/maxima/lisp/texmacs-maxima.lisp
 share/TeXmacs/plugins/maxima/packages/session/maxima.ts
 share/TeXmacs/plugins/maxima/progs/init-maxima.scm
@@ -4987,14 +5419,21 @@ share/TeXmacs/plugins/mupad/progs/mupad-
 share/TeXmacs/plugins/mycas/doc/mycas.en.tm
 share/TeXmacs/plugins/mycas/progs/init-mycas.scm
 share/TeXmacs/plugins/mycas/src/mycas.cpp
-share/TeXmacs/plugins/octave/bin/tm_octave
-share/TeXmacs/plugins/octave/bin/tm_octave.bat
-share/TeXmacs/plugins/octave/doc/README
+share/TeXmacs/plugins/octave/README.md
 share/TeXmacs/plugins/octave/doc/octave-abstract.en.tm
 share/TeXmacs/plugins/octave/doc/octave-demo.en.tm
 share/TeXmacs/plugins/octave/doc/octave-demo.it.tm
 share/TeXmacs/plugins/octave/doc/octave-details.en.tm
 share/TeXmacs/plugins/octave/doc/octave.en.tm
+share/TeXmacs/plugins/octave/octave/convert/dquote.m
+share/TeXmacs/plugins/octave/octave/convert/list2scm.m
+share/TeXmacs/plugins/octave/octave/convert/mat2scm.m
+share/TeXmacs/plugins/octave/octave/convert/num2scm.m
+share/TeXmacs/plugins/octave/octave/convert/obj2scm.m
+share/TeXmacs/plugins/octave/octave/convert/str2scm.m
+share/TeXmacs/plugins/octave/octave/convert/struct2bullet.m
+share/TeXmacs/plugins/octave/octave/convert/struct2scm.m
+share/TeXmacs/plugins/octave/octave/convert/struct2tree.m
 share/TeXmacs/plugins/octave/octave/plot/__errplot__.m
 share/TeXmacs/plugins/octave/octave/plot/__plt2mm__.m
 share/TeXmacs/plugins/octave/octave/plot/__plt2mv__.m
@@ -5004,21 +5443,17 @@ share/TeXmacs/plugins/octave/octave/plot
 share/TeXmacs/plugins/octave/octave/plot/contour.m
 share/TeXmacs/plugins/octave/octave/plot/mesh.m
 share/TeXmacs/plugins/octave/octave/polynomial/polyout.m
+share/TeXmacs/plugins/octave/octave/protocol/flush_any.m
+share/TeXmacs/plugins/octave/octave/protocol/flush_scheme.m
+share/TeXmacs/plugins/octave/octave/protocol/with_color.m
+share/TeXmacs/plugins/octave/octave/protocol/with_mode_math.m
 share/TeXmacs/plugins/octave/octave/tm-start.m
 share/TeXmacs/plugins/octave/octave/tm/isnewans.m
-share/TeXmacs/plugins/octave/octave/tm/list2scm.m
-share/TeXmacs/plugins/octave/octave/tm/mat2scm.m
-share/TeXmacs/plugins/octave/octave/tm/num2scm.m
-share/TeXmacs/plugins/octave/octave/tm/obj2scm.m
-share/TeXmacs/plugins/octave/octave/tm/scheme.m
-share/TeXmacs/plugins/octave/octave/tm/str2scm.m
-share/TeXmacs/plugins/octave/octave/tm/struct2bullet.m
-share/TeXmacs/plugins/octave/octave/tm/struct2scm.m
-share/TeXmacs/plugins/octave/octave/tm/struct2tree.m
 share/TeXmacs/plugins/octave/octave/tm/tmdisp.m
 share/TeXmacs/plugins/octave/octave/tm/tmlasterr.m
 share/TeXmacs/plugins/octave/octave/tm/tmrepl.m
 share/TeXmacs/plugins/octave/progs/init-octave.scm
+share/TeXmacs/plugins/octave/test/convert.tm
 share/TeXmacs/plugins/pari/doc/pari-abstract.en.tm
 share/TeXmacs/plugins/pari/doc/pari.en.tm
 share/TeXmacs/plugins/pari/packages/session/pari.ts
@@ -5039,8 +5474,8 @@ share/TeXmacs/plugins/qcl/doc/qcl-demo.i
 share/TeXmacs/plugins/qcl/doc/qcl.en.tm
 share/TeXmacs/plugins/qcl/progs/init-qcl.scm
 share/TeXmacs/plugins/qcl/progs/qcl-input.scm
-share/TeXmacs/plugins/r/CMakeLists.txt
 share/TeXmacs/plugins/r/Makefile
+share/TeXmacs/plugins/r/README.md
 share/TeXmacs/plugins/r/bin/r_install
 share/TeXmacs/plugins/r/bin/tm_r
 share/TeXmacs/plugins/r/doc/r-abstract.en.tm
@@ -5089,6 +5524,7 @@ share/TeXmacs/plugins/r/r/TeXmacs/man/tm
 share/TeXmacs/plugins/r/r/TeXmacs/man/translator_texmacs.Rd
 share/TeXmacs/plugins/r/r/TeXmacs/man/v.Rd
 share/TeXmacs/plugins/r/src/tm_r.c
+share/TeXmacs/plugins/r/texmacs.r
 share/TeXmacs/plugins/r/tm_r
 share/TeXmacs/plugins/r/tm_r_autogen/moc_predefs.h
 share/TeXmacs/plugins/r/tm_r_autogen/mocs_compilation.cpp
@@ -5120,7 +5556,6 @@ share/TeXmacs/plugins/scilab/doc/scilab.
 share/TeXmacs/plugins/scilab/packages/session/scilab.ts
 share/TeXmacs/plugins/scilab/progs/init-scilab.scm
 share/TeXmacs/plugins/scilab/progs/scilab-menus.scm
-share/TeXmacs/plugins/shell/CMakeLists.txt
 share/TeXmacs/plugins/shell/Makefile
 share/TeXmacs/plugins/shell/bin/tm_shell
 share/TeXmacs/plugins/shell/doc/shell.en.tm
@@ -5129,6 +5564,7 @@ share/TeXmacs/plugins/shell/src/tm_shell
 share/TeXmacs/plugins/shell/tm_shell
 share/TeXmacs/plugins/shell/tm_shell_autogen/moc_predefs.h
 share/TeXmacs/plugins/shell/tm_shell_autogen/mocs_compilation.cpp
+share/TeXmacs/plugins/sympy/progs/init-sympy.scm
 share/TeXmacs/plugins/texgraph/LisezMoi.txt
 share/TeXmacs/plugins/texgraph/ReadMe.txt
 share/TeXmacs/plugins/texgraph/bin/tm_texgraph
@@ -5144,6 +5580,10 @@ share/TeXmacs/plugins/texgraph/progs/tex
 share/TeXmacs/plugins/texgraph/progs/texgraph-scripts-edit.scm
 share/TeXmacs/plugins/texgraph/progs/texgraph-scripts-menu.scm
 share/TeXmacs/plugins/texgraph/texgraph_macros_texmacs.mac
+share/TeXmacs/plugins/tikz/doc/tikz-abstract.en.tm
+share/TeXmacs/plugins/tikz/doc/tikz-demo.en.tm
+share/TeXmacs/plugins/tikz/doc/tikz.en.tm
+share/TeXmacs/plugins/tikz/progs/init-tikz.scm
 share/TeXmacs/plugins/tmpy/README.md
 share/TeXmacs/plugins/tmpy/__init__.py
 share/TeXmacs/plugins/tmpy/capture.py
@@ -5151,6 +5591,8 @@ share/TeXmacs/plugins/tmpy/compat.py
 share/TeXmacs/plugins/tmpy/completion.py
 share/TeXmacs/plugins/tmpy/graph/__init__.py
 share/TeXmacs/plugins/tmpy/graph/asymptote.py
+share/TeXmacs/plugins/tmpy/graph/diagrams.py
+share/TeXmacs/plugins/tmpy/graph/dratex.py
 share/TeXmacs/plugins/tmpy/graph/feynmf.py
 share/TeXmacs/plugins/tmpy/graph/gnuplot.py
 share/TeXmacs/plugins/tmpy/graph/graph.py
@@ -5165,10 +5607,14 @@ share/TeXmacs/plugins/tmpy/postscript.py
 share/TeXmacs/plugins/tmpy/protocol.py
 share/TeXmacs/plugins/tmpy/session/__init__.py
 share/TeXmacs/plugins/tmpy/session/tm_asy.py
+share/TeXmacs/plugins/tmpy/session/tm_dratex.py
 share/TeXmacs/plugins/tmpy/session/tm_gnuplot.py
 share/TeXmacs/plugins/tmpy/session/tm_graph.py
+share/TeXmacs/plugins/tmpy/session/tm_graphviz.py
 share/TeXmacs/plugins/tmpy/session/tm_python.py
 share/TeXmacs/plugins/tmpy/session/tm_sage.py
+share/TeXmacs/plugins/tmpy/session/tm_sympy.py
+share/TeXmacs/plugins/tmpy/session/tm_tikz.py
 share/TeXmacs/plugins/tmpy/session/tm_xypic.py
 share/TeXmacs/plugins/xypic/doc/xypic.en.tm
 share/TeXmacs/plugins/xypic/progs/init-xypic.scm
@@ -5248,6 +5694,7 @@ share/TeXmacs/progs/convert/rewrite/init
 share/TeXmacs/progs/convert/rewrite/tmtm-brackets.scm
 share/TeXmacs/progs/convert/tmml/init-tmml.scm
 share/TeXmacs/progs/convert/tmml/tmmlout.scm
+share/TeXmacs/progs/convert/tmml/tmmltm-test.scm
 share/TeXmacs/progs/convert/tmml/tmmltm.scm
 share/TeXmacs/progs/convert/tmml/tmtmml.scm
 share/TeXmacs/progs/convert/tools/environment-test.scm
@@ -5284,6 +5731,17 @@ share/TeXmacs/progs/database/title-marku
 share/TeXmacs/progs/database/title-transform.scm
 share/TeXmacs/progs/debug/debug-menu.scm
 share/TeXmacs/progs/debug/debug-widgets.scm
+share/TeXmacs/progs/debugger/command-loop.scm
+share/TeXmacs/progs/debugger/commands.scm
+share/TeXmacs/progs/debugger/state.scm
+share/TeXmacs/progs/debugger/trc.scm
+share/TeXmacs/progs/debugger/utils.scm
+share/TeXmacs/progs/debugging/example-fns.scm
+share/TeXmacs/progs/debugging/ice-9-debugger-extensions.scm
+share/TeXmacs/progs/debugging/steps.scm
+share/TeXmacs/progs/debugging/trace.scm
+share/TeXmacs/progs/debugging/traps.scm
+share/TeXmacs/progs/debugging/trc.scm
 share/TeXmacs/progs/doc/apidoc-collect.scm
 share/TeXmacs/progs/doc/apidoc-funcs.scm
 share/TeXmacs/progs/doc/apidoc-kbd.scm
@@ -5323,6 +5781,7 @@ share/TeXmacs/progs/dynamic/scripts-drd.
 share/TeXmacs/progs/dynamic/scripts-edit.scm
 share/TeXmacs/progs/dynamic/scripts-kbd.scm
 share/TeXmacs/progs/dynamic/scripts-menu.scm
+share/TeXmacs/progs/dynamic/scripts-plot.scm
 share/TeXmacs/progs/dynamic/session-doc.scm
 share/TeXmacs/progs/dynamic/session-drd.scm
 share/TeXmacs/progs/dynamic/session-edit.scm
@@ -5376,6 +5835,73 @@ share/TeXmacs/progs/graphics/graphics-me
 share/TeXmacs/progs/graphics/graphics-object.scm
 share/TeXmacs/progs/graphics/graphics-single.scm
 share/TeXmacs/progs/graphics/graphics-utils.scm
+share/TeXmacs/progs/ice-9/and-let-star.scm
+share/TeXmacs/progs/ice-9/boot-9.scm
+share/TeXmacs/progs/ice-9/buffered-input.scm
+share/TeXmacs/progs/ice-9/calling.scm
+share/TeXmacs/progs/ice-9/channel.scm
+share/TeXmacs/progs/ice-9/common-list.scm
+share/TeXmacs/progs/ice-9/debug.scm
+share/TeXmacs/progs/ice-9/debugger.scm
+share/TeXmacs/progs/ice-9/debugger/command-loop.scm
+share/TeXmacs/progs/ice-9/debugger/commands.scm
+share/TeXmacs/progs/ice-9/debugger/state.scm
+share/TeXmacs/progs/ice-9/debugger/trc.scm
+share/TeXmacs/progs/ice-9/debugger/utils.scm
+share/TeXmacs/progs/ice-9/debugging/example-fns.scm
+share/TeXmacs/progs/ice-9/debugging/ice-9-debugger-extensions.scm
+share/TeXmacs/progs/ice-9/debugging/steps.scm
+share/TeXmacs/progs/ice-9/debugging/trace.scm
+share/TeXmacs/progs/ice-9/debugging/traps.scm
+share/TeXmacs/progs/ice-9/debugging/trc.scm
+share/TeXmacs/progs/ice-9/deprecated.scm
+share/TeXmacs/progs/ice-9/documentation.scm
+share/TeXmacs/progs/ice-9/emacs.scm
+share/TeXmacs/progs/ice-9/expect.scm
+share/TeXmacs/progs/ice-9/format.scm
+share/TeXmacs/progs/ice-9/ftw.scm
+share/TeXmacs/progs/ice-9/gap-buffer.scm
+share/TeXmacs/progs/ice-9/gds-client.scm
+share/TeXmacs/progs/ice-9/gds-server.scm
+share/TeXmacs/progs/ice-9/getopt-long.scm
+share/TeXmacs/progs/ice-9/hcons.scm
+share/TeXmacs/progs/ice-9/history.scm
+share/TeXmacs/progs/ice-9/lineio.scm
+share/TeXmacs/progs/ice-9/list.scm
+share/TeXmacs/progs/ice-9/ls.scm
+share/TeXmacs/progs/ice-9/mapping.scm
+share/TeXmacs/progs/ice-9/match.scm
+share/TeXmacs/progs/ice-9/networking.scm
+share/TeXmacs/progs/ice-9/null.scm
+share/TeXmacs/progs/ice-9/occam-channel.scm
+share/TeXmacs/progs/ice-9/optargs.scm
+share/TeXmacs/progs/ice-9/poe.scm
+share/TeXmacs/progs/ice-9/popen.scm
+share/TeXmacs/progs/ice-9/posix.scm
+share/TeXmacs/progs/ice-9/pretty-print.scm
+share/TeXmacs/progs/ice-9/psyntax.pp
+share/TeXmacs/progs/ice-9/psyntax.ss
+share/TeXmacs/progs/ice-9/q.scm
+share/TeXmacs/progs/ice-9/r4rs.scm
+share/TeXmacs/progs/ice-9/r5rs.scm
+share/TeXmacs/progs/ice-9/rdelim.scm
+share/TeXmacs/progs/ice-9/readline.scm
+share/TeXmacs/progs/ice-9/receive.scm
+share/TeXmacs/progs/ice-9/regex.scm
+share/TeXmacs/progs/ice-9/runq.scm
+share/TeXmacs/progs/ice-9/rw.scm
+share/TeXmacs/progs/ice-9/safe-r5rs.scm
+share/TeXmacs/progs/ice-9/safe.scm
+share/TeXmacs/progs/ice-9/serialize.scm
+share/TeXmacs/progs/ice-9/session.scm
+share/TeXmacs/progs/ice-9/slib.scm
+share/TeXmacs/progs/ice-9/stack-catch.scm
+share/TeXmacs/progs/ice-9/streams.scm
+share/TeXmacs/progs/ice-9/string-fun.scm
+share/TeXmacs/progs/ice-9/syncase.scm
+share/TeXmacs/progs/ice-9/threads.scm
+share/TeXmacs/progs/ice-9/time.scm
+share/TeXmacs/progs/ice-9/weak-vector.scm
 share/TeXmacs/progs/init-buffer.scm
 share/TeXmacs/progs/init-texmacs.scm
 share/TeXmacs/progs/kernel/boot/abbrevs.scm
@@ -5441,13 +5967,21 @@ share/TeXmacs/progs/part/part-menu.scm
 share/TeXmacs/progs/part/part-shared.scm
 share/TeXmacs/progs/part/part-tmfs.scm
 share/TeXmacs/progs/prog/cpp-edit.scm
+share/TeXmacs/progs/prog/dot-edit.scm
+share/TeXmacs/progs/prog/dot-lang.scm
 share/TeXmacs/progs/prog/fortran-edit.scm
 share/TeXmacs/progs/prog/glue-symbols.scm
+share/TeXmacs/progs/prog/java-edit.scm
+share/TeXmacs/progs/prog/java-lang.scm
 share/TeXmacs/progs/prog/prog-edit.scm
+share/TeXmacs/progs/prog/prog-format-test.scm
+share/TeXmacs/progs/prog/prog-format.scm
 share/TeXmacs/progs/prog/prog-kbd.scm
 share/TeXmacs/progs/prog/prog-menu.scm
 share/TeXmacs/progs/prog/python-edit.scm
+share/TeXmacs/progs/prog/python-lang.scm
 share/TeXmacs/progs/prog/scala-edit.scm
+share/TeXmacs/progs/prog/scala-lang.scm
 share/TeXmacs/progs/prog/scheme-autocomplete.scm
 share/TeXmacs/progs/prog/scheme-edit.scm
 share/TeXmacs/progs/prog/scheme-menu.scm
@@ -5536,6 +6070,7 @@ share/TeXmacs/progs/utils/misc/extern-de
 share/TeXmacs/progs/utils/misc/markup-funcs.scm
 share/TeXmacs/progs/utils/misc/tiles.scm
 share/TeXmacs/progs/utils/misc/tm-keywords.scm
+share/TeXmacs/progs/utils/misc/translation-list.scm
 share/TeXmacs/progs/utils/misc/updater.scm
 share/TeXmacs/progs/utils/plugins/plugin-cmd.scm
 share/TeXmacs/progs/utils/plugins/plugin-convert.scm
@@ -5621,10 +6156,10 @@ share/TeXmacs/texts/test/fonts-2.tm
 share/TeXmacs/texts/test/fonts-3.tm
 share/TeXmacs/texts/test/fonts.tm
 share/TeXmacs/texts/test/overview.tm
-share/application_registry/texmacs.applications
+share/TeXmacs/texts/test/translate-demo.tm
 share/applications/texmacs.desktop
-share/icons/gnome/scalable/apps/TeXmacs.svg
-share/icons/gnome/scalable/mimetypes/text-texmacs.svg
+share/icons/gnome/scalable/apps/texmacs.svg
+share/icons/gnome/scalable/mimetypes/text-x-texmacs.svg
 share/mime/packages/texmacs.xml
 share/pixmaps/TeXmacs.xpm
 @pkgdir share/TeXmacs/progs/convert/coqml
@@ -5639,20 +6174,4 @@ share/pixmaps/TeXmacs.xpm
 @pkgdir share/TeXmacs/packages/poster/options
 @pkgdir share/TeXmacs/lib
 @pkgdir share/TeXmacs/langs/colors
-@pkgdir share/TeXmacs/examples/plugins/world/bin
-@pkgdir share/TeXmacs/examples/plugins/substitute/bin
-@pkgdir share/TeXmacs/examples/plugins/secure/bin
-@pkgdir share/TeXmacs/examples/plugins/prompt/bin
-@pkgdir share/TeXmacs/examples/plugins/pnambic/bin
-@pkgdir share/TeXmacs/examples/plugins/nested/bin
-@pkgdir share/TeXmacs/examples/plugins/multiline/bin
-@pkgdir share/TeXmacs/examples/plugins/minimal/bin
-@pkgdir share/TeXmacs/examples/plugins/menus/bin
-@pkgdir share/TeXmacs/examples/plugins/markup/bin
-@pkgdir share/TeXmacs/examples/plugins/input/bin
-@pkgdir share/TeXmacs/examples/plugins/handler/bin
-@pkgdir share/TeXmacs/examples/plugins/formula/bin
-@pkgdir share/TeXmacs/examples/plugins/dynlink/lib
-@pkgdir share/TeXmacs/examples/plugins/dynlink/bin
-@pkgdir share/TeXmacs/examples/plugins/complete/bin
 @pkgdir share/TeXmacs/bin

Index: pkgsrc/editors/TeXmacs/distinfo
diff -u pkgsrc/editors/TeXmacs/distinfo:1.72 pkgsrc/editors/TeXmacs/distinfo:1.73
--- pkgsrc/editors/TeXmacs/distinfo:1.72        Wed Mar 18 17:53:45 2020
+++ pkgsrc/editors/TeXmacs/distinfo     Sun Jun 21 03:54:53 2020
@@ -1,10 +1,11 @@
-$NetBSD: distinfo,v 1.72 2020/03/18 17:53:45 joerg Exp $
+$NetBSD: distinfo,v 1.73 2020/06/21 03:54:53 mef Exp $
 
-SHA1 (TeXmacs-1.99.11-src.tar.gz) = 53abe8011df033005ffa3530f23501833afed440
-RMD160 (TeXmacs-1.99.11-src.tar.gz) = 25a17545389f06b4ac49899fc2c8554612708b48
-SHA512 (TeXmacs-1.99.11-src.tar.gz) = 3f3481834baeeee93afc2c2de1666297b8c02d7dc5223b00ee93120e175503c91bdcc3d9ff4d8df498033064b2e67b12ffd47af9e8b95ad5eee12b47ec076855
-Size (TeXmacs-1.99.11-src.tar.gz) = 32798336 bytes
-SHA1 (patch-3rdparty_benchmark_CMakeLists.txt) = 3977244d6f130d6135f9eac5fc03ee41c40efb9d
+SHA1 (TeXmacs-1.99.13-src.tar.gz) = b95da965a047e82461f39e8641189ddf388453cb
+RMD160 (TeXmacs-1.99.13-src.tar.gz) = 5b3ef92a19929ffacd4ecbd358e4b839d124202f
+SHA512 (TeXmacs-1.99.13-src.tar.gz) = 26d178d3c5cad48746c27788948b06f29aedb814beb860b4517e143d1daa5c9cb8e61b728fac1b7dea93e1ae09d5e5294d623b33c14937016118ff511f697eb6
+Size (TeXmacs-1.99.13-src.tar.gz) = 37181886 bytes
 SHA1 (patch-cmake_FindGuile.cmake) = cb6085af098467d320ff65451df33bf552b2ddaa
 SHA1 (patch-misc_CMakeLists.txt) = 0534c9a1c66315d3189a4d6932ce56b3d7c2978a
-SHA1 (patch-misc_tm-devel-mac_Makefile) = 195fd3b38e9be56a89602b82d46591d529e9ef9c
+SHA1 (patch-misc_tm-devel-mac_Makefile) = acddf680138bee82ff46e1e9cb4a69be81d764b7
+SHA1 (patch-src_Plugins_Qt_QTMStyle.cpp) = e6001bf43f3a331b2bf5c69bf95378f7b15cb0f3
+SHA1 (patch-src_Plugins_Qt_qt__renderer.hpp) = 4462d168612938d9494d1d4b7135a5d04ff2a06e

Index: pkgsrc/editors/TeXmacs/patches/patch-misc_tm-devel-mac_Makefile
diff -u pkgsrc/editors/TeXmacs/patches/patch-misc_tm-devel-mac_Makefile:1.1 pkgsrc/editors/TeXmacs/patches/patch-misc_tm-devel-mac_Makefile:1.2
--- pkgsrc/editors/TeXmacs/patches/patch-misc_tm-devel-mac_Makefile:1.1 Wed Mar 18 17:53:45 2020
+++ pkgsrc/editors/TeXmacs/patches/patch-misc_tm-devel-mac_Makefile     Sun Jun 21 03:54:54 2020
@@ -1,4 +1,6 @@
-$NetBSD: patch-misc_tm-devel-mac_Makefile,v 1.1 2020/03/18 17:53:45 joerg Exp $
+$NetBSD: patch-misc_tm-devel-mac_Makefile,v 1.2 2020/06/21 03:54:54 mef Exp $
+
+Fix portability
 
 --- misc/tm-devel-mac/Makefile.orig    2020-03-18 13:42:35.761140022 +0000
 +++ misc/tm-devel-mac/Makefile

Added files:

Index: pkgsrc/editors/TeXmacs/patches/patch-src_Plugins_Qt_QTMStyle.cpp
diff -u /dev/null pkgsrc/editors/TeXmacs/patches/patch-src_Plugins_Qt_QTMStyle.cpp:1.1
--- /dev/null   Sun Jun 21 03:54:54 2020
+++ pkgsrc/editors/TeXmacs/patches/patch-src_Plugins_Qt_QTMStyle.cpp    Sun Jun 21 03:54:54 2020
@@ -0,0 +1,14 @@
+$NetBSD: patch-src_Plugins_Qt_QTMStyle.cpp,v 1.1 2020/06/21 03:54:54 mef Exp $
+
+Adapt to QT 5.15.0
+
+--- src/Plugins/Qt/QTMStyle.cpp.orig   2020-05-28 08:56:46.524435324 +0000
++++ src/Plugins/Qt/QTMStyle.cpp
+@@ -19,6 +19,7 @@
+ #include <qdrawutil.h>
+ #include <QPainter>
+ #include <QMainWindow>
++#include <QPainterPath>
+ 
+ int
+ qt_zoom (int sz) {
Index: pkgsrc/editors/TeXmacs/patches/patch-src_Plugins_Qt_qt__renderer.hpp
diff -u /dev/null pkgsrc/editors/TeXmacs/patches/patch-src_Plugins_Qt_qt__renderer.hpp:1.1
--- /dev/null   Sun Jun 21 03:54:54 2020
+++ pkgsrc/editors/TeXmacs/patches/patch-src_Plugins_Qt_qt__renderer.hpp        Sun Jun 21 03:54:54 2020
@@ -0,0 +1,14 @@
+$NetBSD: patch-src_Plugins_Qt_qt__renderer.hpp,v 1.1 2020/06/21 03:54:54 mef Exp $
+
+Adapt to QT 5.15.0
+
+--- src/Plugins/Qt/qt_renderer.hpp.orig        2020-06-21 02:24:51.846185942 +0000
++++ src/Plugins/Qt/qt_renderer.hpp
+@@ -18,6 +18,7 @@
+ #include <QImage>
+ #include <QtGlobal>
+ #include <QWidget>
++#include <QPainterPath>
+ 
+ // if QTMPIXMAPS is defined we use QPixmap for characters
+ // otherwise we use QImage (which support alpha also under X11)



Home | Main Index | Thread Index | Old Index