Re: update editors/TeXmacs 1.99.12

Jeremie Courreges-Anglas writes:

> On Fri, Feb 21 2020, Nam Nguyen <namn@berkeley.edu> wrote:
>> Here is an update for TeXmacs 1.99.12, released on December 28, 2019.
>>
>> Changelog: https://texmacs.org/tmweb/about/changes.en.html
>>
>> This diff:
>> - Enables many plugins (accessed through Insert > Session)
>> - HOMEPAGE now uses https
>> - Adds python3 through a combination of MODPY_ADJ_FILES and manually
>> replacing python with python3.7, as described in
>> plugins/python/README.md

This fresh diff additionally:
- Unbreaks R and octave plug-ins
- Adds a README describing plug-ins
- Plugins remain optional and are no longer added to RUN_DEPENDS.
- Removes unused find git cmake flag

>>
>> The most controversial change is adding the new RUN_DEPENDS for every
>> possible optional plugin. If there is pushback I would be fine with
>> leaving this off.
>
> It feels like the functionality in those plugins should be made
> optional. While I'm not a TeXmacs user I think those extra deps
> shouldn't be mandatory.

I see that the website defines these plug-ins as external to the
project, so this makes sense.

https://www.texmacs.org/tmweb/plugins/plugins.en.html

>
> (Adding python in RUN_DEPENDS as done by MODULES=lang/python is fine
> though, python is already an indirect dep as shown by make
> full-run-depends.)
>
> This being said, it's nice to patch plugins so they work properly once
> the deps are installed. I guess what you could do is document packages
> that the user can install to unlock extra functionality. Or maybe the
> UI makes it obvious what the user needs to install?

Only Help > Plug-ins lists every plug-in with documentation available,
regardless of whether they are installed. To make them easier to
discover, I added a README as you suggested.

>
>> I tested dratex, graph, graphviz, python, sympy, gnuplot, maxima, octave
>> and pari using the built in documentation (Help > Plug-ins). These
>> worked except for some octave quirks. When I got to the octave graph
>> example, the graph displays in a new window. However, I cannot save the
>> graph as an image, as the menu bars are unresponsive. Thanks to the
>> recent update to math/pari I was able to successfully follow
>> "Programming in GP > Code GP"
>> https://pari.math.u-bordeaux.fr/tutorials.html
>>
>> Feedback and tests are welcome.
>
> I'll try to do some testing in the next days.

Octave: Menus do not respond for the graph example. As a workaround,
you can run octave separately, save and insert the image.

octave:1> x=linspace(-10,10,1000);
octave:2> y=x+sin(x);
octave:3> plot(x,y,";Function y=x+sin(x);");

R: I had to add a patch for the TeXmacs-R interface program. Otherwise
it fails to start, trying to build the R plugin at
run-time. /usr/local/share/TeXmacs/plugins/r/bin/tm_r is already built,
so there is no need for this.

#define USE_DEBUG 1 in ${WRKSRC}/plugins/r/src/tm_r.c

Insert > Session > R prints to /tmp/log:
* building 'TeXmacs_0.16.tar.gz'

Warning in install.packages(pack, repos = NULL, type = "source") :
'lib = "/usr/local/lib/R/library"' is not writable
Would you like to use a personal library instead? (yes/No/cancel) ||

Also, the R plugin had some missing font glyphs in the rendered graphs,
but this happens in R itself. I am probably missing some fonts.

$ R
> qnorm(1/2,mean=0,sd=1)
[1] 0
> x<-1:100
> y<-rnorm(x)
> plot(x,y)

Index: Makefile
===================================================================
RCS file: /cvs/ports/editors/TeXmacs/Makefile,v
retrieving revision 1.14
diff -u -p -r1.14 Makefile
--- Makefile 12 Jul 2019 20:46:04 -0000 1.14
+++ Makefile 27 Feb 2020 03:31:07 -0000
@@ -2,13 +2,13 @@

COMMENT= wysiwyw (what you see is what you want) editing platform

-DISTNAME= TeXmacs-1.99.9-src
+DISTNAME= TeXmacs-1.99.12-src
PKGNAME= ${DISTNAME:S/-src//}
CATEGORIES= editors print x11

-HOMEPAGE= http://texmacs.org/
+HOMEPAGE= https://texmacs.org/

-MAINTAINER = Nam Nguyen <namn@berkeley.edu>
+MAINTAINER= Nam Nguyen <namn@berkeley.edu>

MASTER_SITES= http://texmacs.org/Download/ftp/tmftp/source/

@@ -20,8 +20,13 @@ WANTLIB += c execinfo freetype gmp guile
WANTLIB += util z

MODULES= devel/cmake \
+ lang/python \
x11/qt5

+MODPY_VERSION= ${MODPY_DEFAULT_VERSION_3}
+MODPY_ADJ_FILES= plugins/tmpy/*.py \
+ plugins/tmpy/{graph,session}/*.py
+
BUILD_DEPENDS= print/ghostscript/gnu

RUN_DEPENDS= devel/desktop-file-utils \
@@ -35,11 +40,18 @@ LIB_DEPENDS= databases/sqlite3 \
graphics/png \
lang/guile

-CONFIGURE_ARGS= -DCMAKE_DISABLE_FIND_PACKAGE_Git=ON
-
CXXFLAGS+= -Wno-deprecated-register

post-extract:
rm -f ${WRKDIST}/plugins/mathematica/bin/realpath.py
+ # change python interpreter per plugins/python/README.md
+ sed -i 's,\(string-append.*\)python,\1python${MODPY_VERSION},' \
+ ${WRKSRC}/plugins/python/progs/init-python.scm
+ sed -i 's,\(require.*\)python,\1python${MODPY_VERSION},' \
+ ${WRKSRC}/plugins/python/progs/init-python.scm
+.for l in asymptote dratex gnuplot graph graphviz sympy xypic
+ find ${WRKSRC}/plugins/$l -name '*.scm' \
+ -exec sed -i 's,python,python${MODPY_VERSION},' {} \;
+.endfor

.include <bsd.port.mk>
Index: distinfo
===================================================================
RCS file: /cvs/ports/editors/TeXmacs/distinfo,v
retrieving revision 1.2
diff -u -p -r1.2 distinfo
--- distinfo 12 May 2019 15:43:45 -0000 1.2
+++ distinfo 27 Feb 2020 03:31:07 -0000
@@ -1,2 +1,2 @@
-SHA256 (TeXmacs-1.99.9-src.tar.gz) = KfDNFBrIGmL9bR3QSlO1AAg97sqXpeFQ6+9i5JPTJUU=
-SIZE (TeXmacs-1.99.9-src.tar.gz) = 30109108
+SHA256 (TeXmacs-1.99.12-src.tar.gz) = 5D2oSdXDdw99T3rZrGNnq0F0od+D8336QfjwDx628UI=
+SIZE (TeXmacs-1.99.12-src.tar.gz) = 35119781
Index: patches/patch-CMakeLists_txt
===================================================================
RCS file: /cvs/ports/editors/TeXmacs/patches/patch-CMakeLists_txt,v
retrieving revision 1.1
diff -u -p -r1.1 patch-CMakeLists_txt
--- patches/patch-CMakeLists_txt 12 May 2019 15:43:45 -0000 1.1
+++ patches/patch-CMakeLists_txt 27 Feb 2020 03:31:07 -0000
@@ -3,7 +3,7 @@ $OpenBSD: patch-CMakeLists_txt,v 1.1 201
Index: CMakeLists.txt
--- CMakeLists.txt.orig
+++ CMakeLists.txt
-@@ -562,7 +562,7 @@ if (TEXMACS_GUI MATCHES "Qt.*")
+@@ -572,7 +572,7 @@ if (TEXMACS_GUI MATCHES "Qt.*")

set (TeXmacs_All_SRCS ${TeXmacs_All_SRCS} ${TeXmacs_Qt_SRCS} ${TeXmacs_Qt_Moc_HDRS})
set (TeXmacs_Include_Dirs ${TeXmacs_Include_Dirs} ${QT_INCLUDES})
Index: patches/patch-plugins_octave_octave_tm-start_m
===================================================================
RCS file: patches/patch-plugins_octave_octave_tm-start_m
diff -N patches/patch-plugins_octave_octave_tm-start_m
--- /dev/null 1 Jan 1970 00:00:00 -0000
+++ patches/patch-plugins_octave_octave_tm-start_m 27 Feb 2020 03:31:07 -0000
@@ -0,0 +1,14 @@
+$OpenBSD$
+
+octave session does not start because tmrepl undefined
+https://github.com/texmacs/plugins/issues/11
+
+Index: plugins/octave/octave/tm-start.m
+--- plugins/octave/octave/tm-start.m.orig
++++ plugins/octave/octave/tm-start.m
+@@ -1,4 +1,5 @@
+ d=getenv("TEXMACS_PATH");
+ if (length(d) > 0)
++ addpath("tm")
+ tmrepl
+ endif
Index: patches/patch-plugins_r_src_tm_r_c
===================================================================
RCS file: patches/patch-plugins_r_src_tm_r_c
diff -N patches/patch-plugins_r_src_tm_r_c
--- /dev/null 1 Jan 1970 00:00:00 -0000
+++ patches/patch-plugins_r_src_tm_r_c 27 Feb 2020 03:31:07 -0000
@@ -0,0 +1,29 @@
+$OpenBSD$
+
+do not build TeXmacs-R interface at runtime. attempting to do so
+prevents interface from starting.
+
+Index: plugins/r/src/tm_r.c
+--- plugins/r/src/tm_r.c.orig
++++ plugins/r/src/tm_r.c
+@@ -101,7 +101,7 @@ jmp_buf error_return_env ;
+
+ int N_data_begins = 0 ;
+
+-char *DEFAULT_TEXMACS_SEND = "source(paste(Sys.getenv(\"TEXMACS_PATH\"),\"/plugins/r/texmacs.r\",sep=\"\"))\n";
++char *DEFAULT_TEXMACS_SEND = "";
+
+
+ // Add one more DATA_BEGIN, i.e. open bracket.
+@@ -850,11 +850,6 @@ int main(int argc, char *argv[])
+ snprintf( TEXMACS_HOME_PATH, 4096, "%s/.TeXmacs",HOME) ;
+ }
+
+- /* Lazy installing the TeXmacs package */
+- TEXMACS_LIB = (char *)malloc(4096);
+- snprintf(TEXMACS_LIB,4096,"%s/plugins/r/r",TEXMACS_HOME_PATH);
+- if (stat(TEXMACS_LIB,&stat_buf))
+- system("r_install");
+
+ setenv( "TERM", "dumb", 1) ;
+
Index: patches/patch-src_Plugins_Qt_qt_gui_cpp
===================================================================
RCS file: /cvs/ports/editors/TeXmacs/patches/patch-src_Plugins_Qt_qt_gui_cpp,v
retrieving revision 1.2
diff -u -p -r1.2 patch-src_Plugins_Qt_qt_gui_cpp
--- patches/patch-src_Plugins_Qt_qt_gui_cpp 12 May 2019 15:43:45 -0000 1.2
+++ patches/patch-src_Plugins_Qt_qt_gui_cpp 27 Feb 2020 03:31:07 -0000
@@ -2,7 +2,7 @@ $OpenBSD: patch-src_Plugins_Qt_qt_gui_cp
Index: src/Plugins/Qt/qt_gui.cpp
--- src/Plugins/Qt/qt_gui.cpp.orig
+++ src/Plugins/Qt/qt_gui.cpp
-@@ -810,7 +810,7 @@ qt_gui_rep::update () {
+@@ -815,7 +815,7 @@ qt_gui_rep::update () {

time_t delay = delayed_commands.lapse - texmacs_time();
if (needing_update) delay = 0;
Index: pkg/PLIST
===================================================================
RCS file: /cvs/ports/editors/TeXmacs/pkg/PLIST,v
retrieving revision 1.6
diff -u -p -r1.6 PLIST
--- pkg/PLIST 12 May 2019 15:43:45 -0000 1.6
+++ pkg/PLIST 27 Feb 2020 03:31:07 -0000
@@ -6,43 +6,7 @@ include/TeXmacs.h
lib/texmacs/
lib/texmacs/TeXmacs/
lib/texmacs/TeXmacs/bin/
-lib/texmacs/TeXmacs/bin/add_to_insert_menu.sci
-lib/texmacs/TeXmacs/bin/bbox_add.pl
-lib/texmacs/TeXmacs/bin/bridge.py
-lib/texmacs/TeXmacs/bin/init-scilab.sce
-lib/texmacs/TeXmacs/bin/maxima_detect
-lib/texmacs/TeXmacs/bin/perl-tm_asy
-lib/texmacs/TeXmacs/bin/plotout.sci
-lib/texmacs/TeXmacs/bin/populates_demo_menu.sci
-lib/texmacs/TeXmacs/bin/r_install
-lib/texmacs/TeXmacs/bin/rm_from_insert_menu.sci
-lib/texmacs/TeXmacs/bin/scilab-demo.sce
@bin lib/texmacs/TeXmacs/bin/texmacs.bin
-lib/texmacs/TeXmacs/bin/tm_asy
-lib/texmacs/TeXmacs/bin/tm_asy2
-lib/texmacs/TeXmacs/bin/tm_dratex
-lib/texmacs/TeXmacs/bin/tm_eukleides
-lib/texmacs/TeXmacs/bin/tm_eukleides.old
-lib/texmacs/TeXmacs/bin/tm_feynmf
-lib/texmacs/TeXmacs/bin/tm_gnuplot
-lib/texmacs/TeXmacs/bin/tm_graphs
-lib/texmacs/TeXmacs/bin/tm_lisp
-lib/texmacs/TeXmacs/bin/tm_lush
-lib/texmacs/TeXmacs/bin/tm_maple
-lib/texmacs/TeXmacs/bin/tm_mathematica
-lib/texmacs/TeXmacs/bin/tm_matlab
-lib/texmacs/TeXmacs/bin/tm_maxima
-lib/texmacs/TeXmacs/bin/tm_mupad
-lib/texmacs/TeXmacs/bin/tm_mupad_help
-lib/texmacs/TeXmacs/bin/tm_octave
-lib/texmacs/TeXmacs/bin/tm_octave.bat
-lib/texmacs/TeXmacs/bin/tm_python
-lib/texmacs/TeXmacs/bin/tm_python.bat
-lib/texmacs/TeXmacs/bin/tm_reduce
-lib/texmacs/TeXmacs/bin/tm_sage
-lib/texmacs/TeXmacs/bin/tm_texgraph
-lib/texmacs/TeXmacs/bin/tm_xypic
-lib/texmacs/TeXmacs/bin/tmstree.sci
@man man/man1/fig2ps.1
@man man/man1/texmacs.1
share/TeXmacs/
@@ -321,7 +285,7 @@ share/TeXmacs/doc/about/welcome/welcome.
share/TeXmacs/doc/about/welcome/welcome.es.tm
share/TeXmacs/doc/about/welcome/welcome.fr.tm
share/TeXmacs/doc/about/welcome/welcome.it.tm
-share/TeXmacs/doc/about/welcome/welcome.zh.tm
+share/TeXmacs/doc/about/welcome/welcome.zh.tmml
share/TeXmacs/doc/devel/
share/TeXmacs/doc/devel/format/
share/TeXmacs/doc/devel/format/basics/
@@ -492,6 +456,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
@@ -980,8 +945,9 @@ share/TeXmacs/doc/main/man-manual.en.tm
share/TeXmacs/doc/main/man-manual.es.tm
share/TeXmacs/doc/main/man-manual.fr.tm
share/TeXmacs/doc/main/man-manual.it.tm
+share/TeXmacs/doc/main/man-manual.pl.tm
share/TeXmacs/doc/main/man-manual.pt.tm
-share/TeXmacs/doc/main/man-manual.zh.tm
+share/TeXmacs/doc/main/man-manual.zh.tmml
share/TeXmacs/doc/main/man-reference.de.tm
share/TeXmacs/doc/main/man-reference.en.tm
share/TeXmacs/doc/main/man-reference.zh.tm
@@ -990,7 +956,9 @@ share/TeXmacs/doc/main/man-user-manual.e
share/TeXmacs/doc/main/man-user-manual.es.tm
share/TeXmacs/doc/main/man-user-manual.fr.tm
share/TeXmacs/doc/main/man-user-manual.it.tm
+share/TeXmacs/doc/main/man-user-manual.pl.tm
share/TeXmacs/doc/main/man-user-manual.pt.tm
+share/TeXmacs/doc/main/man-user-manual.zh.tm
share/TeXmacs/doc/main/math/
share/TeXmacs/doc/main/math/keyboard/
share/TeXmacs/doc/main/math/keyboard/man-big.de.tm
@@ -1100,7 +1068,7 @@ share/TeXmacs/doc/main/start/man-convent
share/TeXmacs/doc/main/start/man-conventions.it.tm
share/TeXmacs/doc/main/start/man-conventions.pl.tm
share/TeXmacs/doc/main/start/man-conventions.pt.tm
-share/TeXmacs/doc/main/start/man-conventions.zh.tm
+share/TeXmacs/doc/main/start/man-conventions.zh.tmml
share/TeXmacs/doc/main/start/man-files.de.tm
share/TeXmacs/doc/main/start/man-files.en.tm
share/TeXmacs/doc/main/start/man-files.es.tm
@@ -1108,7 +1076,7 @@ share/TeXmacs/doc/main/start/man-files.f
share/TeXmacs/doc/main/start/man-files.it.tm
share/TeXmacs/doc/main/start/man-files.pl.tm
share/TeXmacs/doc/main/start/man-files.pt.tm
-share/TeXmacs/doc/main/start/man-files.zh.tm
+share/TeXmacs/doc/main/start/man-files.zh.tmml
share/TeXmacs/doc/main/start/man-getting-started.de.tm
share/TeXmacs/doc/main/start/man-getting-started.en.tm
share/TeXmacs/doc/main/start/man-getting-started.es.tm
@@ -1116,7 +1084,7 @@ share/TeXmacs/doc/main/start/man-getting
share/TeXmacs/doc/main/start/man-getting-started.it.tm
share/TeXmacs/doc/main/start/man-getting-started.pl.tm
share/TeXmacs/doc/main/start/man-getting-started.pt.tm
-share/TeXmacs/doc/main/start/man-getting-started.zh.tm
+share/TeXmacs/doc/main/start/man-getting-started.zh.tmml
share/TeXmacs/doc/main/start/man-print.de.tm
share/TeXmacs/doc/main/start/man-print.en.tm
share/TeXmacs/doc/main/start/man-print.es.tm
@@ -1124,7 +1092,7 @@ share/TeXmacs/doc/main/start/man-print.f
share/TeXmacs/doc/main/start/man-print.it.tm
share/TeXmacs/doc/main/start/man-print.pl.tm
share/TeXmacs/doc/main/start/man-print.pt.tm
-share/TeXmacs/doc/main/start/man-print.zh.tm
+share/TeXmacs/doc/main/start/man-print.zh.tmml
share/TeXmacs/doc/main/start/man-setup.de.tm
share/TeXmacs/doc/main/start/man-setup.en.tm
share/TeXmacs/doc/main/start/man-setup.es.tm
@@ -1132,7 +1100,7 @@ share/TeXmacs/doc/main/start/man-setup.f
share/TeXmacs/doc/main/start/man-setup.it.tm
share/TeXmacs/doc/main/start/man-setup.pl.tm
share/TeXmacs/doc/main/start/man-setup.pt.tm
-share/TeXmacs/doc/main/start/man-setup.zh.tm
+share/TeXmacs/doc/main/start/man-setup.zh.tmml
share/TeXmacs/doc/main/styles/
share/TeXmacs/doc/main/styles/env/
share/TeXmacs/doc/main/styles/env/env-base-dtd.de.tm
@@ -1309,7 +1277,7 @@ share/TeXmacs/doc/main/table/man-advance
share/TeXmacs/doc/main/table/man-advanced-features.it.tm
share/TeXmacs/doc/main/table/man-advanced-features.pl.tm
share/TeXmacs/doc/main/table/man-advanced-features.pt.tm
-share/TeXmacs/doc/main/table/man-advanced-features.zh.tm
+share/TeXmacs/doc/main/table/man-advanced-features.zh.tmml
share/TeXmacs/doc/main/table/man-alignment.de.tm
share/TeXmacs/doc/main/table/man-alignment.en.tm
share/TeXmacs/doc/main/table/man-alignment.es.tm
@@ -1317,7 +1285,7 @@ share/TeXmacs/doc/main/table/man-alignme
share/TeXmacs/doc/main/table/man-alignment.it.tm
share/TeXmacs/doc/main/table/man-alignment.pl.tm
share/TeXmacs/doc/main/table/man-alignment.pt.tm
-share/TeXmacs/doc/main/table/man-alignment.zh.tm
+share/TeXmacs/doc/main/table/man-alignment.zh.tmml
share/TeXmacs/doc/main/table/man-create-table.de.tm
share/TeXmacs/doc/main/table/man-create-table.en.tm
share/TeXmacs/doc/main/table/man-create-table.es.tm
@@ -1325,7 +1293,7 @@ share/TeXmacs/doc/main/table/man-create-
share/TeXmacs/doc/main/table/man-create-table.it.tm
share/TeXmacs/doc/main/table/man-create-table.pl.tm
share/TeXmacs/doc/main/table/man-create-table.pt.tm
-share/TeXmacs/doc/main/table/man-create-table.zh.tm
+share/TeXmacs/doc/main/table/man-create-table.zh.tmml
share/TeXmacs/doc/main/table/man-decorations.de.tm
share/TeXmacs/doc/main/table/man-decorations.en.tm
share/TeXmacs/doc/main/table/man-decorations.es.tm
@@ -1333,7 +1301,7 @@ share/TeXmacs/doc/main/table/man-decorat
share/TeXmacs/doc/main/table/man-decorations.it.tm
share/TeXmacs/doc/main/table/man-decorations.pl.tm
share/TeXmacs/doc/main/table/man-decorations.pt.tm
-share/TeXmacs/doc/main/table/man-decorations.zh.tm
+share/TeXmacs/doc/main/table/man-decorations.zh.tmml
share/TeXmacs/doc/main/table/man-size.de.tm
share/TeXmacs/doc/main/table/man-size.en.tm
share/TeXmacs/doc/main/table/man-size.es.tm
@@ -1341,7 +1309,7 @@ share/TeXmacs/doc/main/table/man-size.fr
share/TeXmacs/doc/main/table/man-size.it.tm
share/TeXmacs/doc/main/table/man-size.pl.tm
share/TeXmacs/doc/main/table/man-size.pt.tm
-share/TeXmacs/doc/main/table/man-size.zh.tm
+share/TeXmacs/doc/main/table/man-size.zh.tmml
share/TeXmacs/doc/main/table/man-table-mode.de.tm
share/TeXmacs/doc/main/table/man-table-mode.en.tm
share/TeXmacs/doc/main/table/man-table-mode.es.tm
@@ -1349,7 +1317,7 @@ share/TeXmacs/doc/main/table/man-table-m
share/TeXmacs/doc/main/table/man-table-mode.it.tm
share/TeXmacs/doc/main/table/man-table-mode.pl.tm
share/TeXmacs/doc/main/table/man-table-mode.pt.tm
-share/TeXmacs/doc/main/table/man-table-mode.zh.tm
+share/TeXmacs/doc/main/table/man-table-mode.zh.tmml
share/TeXmacs/doc/main/table/man-table.de.tm
share/TeXmacs/doc/main/table/man-table.en.tm
share/TeXmacs/doc/main/table/man-table.es.tm
@@ -1357,7 +1325,7 @@ share/TeXmacs/doc/main/table/man-table.f
share/TeXmacs/doc/main/table/man-table.it.tm
share/TeXmacs/doc/main/table/man-table.pl.tm
share/TeXmacs/doc/main/table/man-table.pt.tm
-share/TeXmacs/doc/main/table/man-table.zh.tm
+share/TeXmacs/doc/main/table/man-table.zh.tmml
share/TeXmacs/doc/main/text/
share/TeXmacs/doc/main/text/keyboard/
share/TeXmacs/doc/main/text/keyboard/man-customize.de.tm
@@ -1575,6 +1543,24 @@ share/TeXmacs/examples/plugins/prompt/pr
share/TeXmacs/examples/plugins/prompt/progs/init-prompt.scm
share/TeXmacs/examples/plugins/prompt/src/
share/TeXmacs/examples/plugins/prompt/src/prompt.cpp
+share/TeXmacs/examples/plugins/pycomplete/
+share/TeXmacs/examples/plugins/pycomplete/bin/
+share/TeXmacs/examples/plugins/pycomplete/progs/
+share/TeXmacs/examples/plugins/pycomplete/progs/init-pycomplete.scm
+share/TeXmacs/examples/plugins/pycomplete/src/
+share/TeXmacs/examples/plugins/pycomplete/src/complete.py
+share/TeXmacs/examples/plugins/pyminimal/
+share/TeXmacs/examples/plugins/pyminimal/bin/
+share/TeXmacs/examples/plugins/pyminimal/progs/
+share/TeXmacs/examples/plugins/pyminimal/progs/init-pyminimal.scm
+share/TeXmacs/examples/plugins/pyminimal/src/
+share/TeXmacs/examples/plugins/pyminimal/src/minimal.py
+share/TeXmacs/examples/plugins/pyprompt/
+share/TeXmacs/examples/plugins/pyprompt/bin/
+share/TeXmacs/examples/plugins/pyprompt/progs/
+share/TeXmacs/examples/plugins/pyprompt/progs/init-pyprompt.scm
+share/TeXmacs/examples/plugins/pyprompt/src/
+share/TeXmacs/examples/plugins/pyprompt/src/prompt.py
share/TeXmacs/examples/plugins/secure/
share/TeXmacs/examples/plugins/secure/Makefile
share/TeXmacs/examples/plugins/secure/bin/
@@ -1602,21 +1588,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-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
share/TeXmacs/fonts/
share/TeXmacs/fonts/LATEX_LICENSE
@@ -3059,6 +3055,7 @@ share/TeXmacs/langs/encoding/
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
@@ -3090,6 +3087,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
@@ -3128,10 +3126,19 @@ share/TeXmacs/langs/natural/hyphen/hyphe
share/TeXmacs/langs/natural/hyphen/hyphen.us
share/TeXmacs/langs/natural/hyphen/lppl-1.3.txt
share/TeXmacs/langs/natural/miss/
+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
@@ -3139,9 +3146,12 @@ 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/lib/
share/TeXmacs/misc/
+share/TeXmacs/misc/bib/
+share/TeXmacs/misc/bib/texmacs.bib
share/TeXmacs/misc/convert/
share/TeXmacs/misc/convert/color.pro
share/TeXmacs/misc/convert/html_commands
@@ -3150,8 +3160,6 @@ share/TeXmacs/misc/convert/special.pro
share/TeXmacs/misc/convert/tex.pro
share/TeXmacs/misc/convert/texps.pro
share/TeXmacs/misc/images/
-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
@@ -3169,7 +3177,38 @@ 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
@@ -3184,10 +3223,7 @@ share/TeXmacs/misc/latex/
share/TeXmacs/misc/latex/TeXmacs.sty
share/TeXmacs/misc/latex/f2pspost.tex
share/TeXmacs/misc/mime/
-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/
share/TeXmacs/misc/patterns/dots-hatches/
@@ -3227,14 +3263,24 @@ share/TeXmacs/misc/patterns/dots-hatches
share/TeXmacs/misc/patterns/dots-hatches/dots-C-70.png
share/TeXmacs/misc/patterns/dots-hatches/dots-C-80.png
share/TeXmacs/misc/patterns/dots-hatches/dots-C-90.png
-share/TeXmacs/misc/patterns/granite-dark.png
-share/TeXmacs/misc/patterns/granite-light.png
-share/TeXmacs/misc/patterns/granite-medium.png
-share/TeXmacs/misc/patterns/granite-xdark.png
-share/TeXmacs/misc/patterns/ice-dark-blue.png
-share/TeXmacs/misc/patterns/ice-light.png
-share/TeXmacs/misc/patterns/ice-medium-blue.png
-share/TeXmacs/misc/patterns/ice-medium.png
+share/TeXmacs/misc/patterns/fashion/
+share/TeXmacs/misc/patterns/fashion/large_leather.jpg
+share/TeXmacs/misc/patterns/fashion/white_leather.jpg
+share/TeXmacs/misc/patterns/floral/
+share/TeXmacs/misc/patterns/floral/full-bloom.jpg
+share/TeXmacs/misc/patterns/floral/greyfloral.png
+share/TeXmacs/misc/patterns/floral/paisley.png
+share/TeXmacs/misc/patterns/floral/regal.png
+share/TeXmacs/misc/patterns/floral/symphony.png
+share/TeXmacs/misc/patterns/floral/wheat.png
+share/TeXmacs/misc/patterns/floral/xv.png
+share/TeXmacs/misc/patterns/geometric/
+share/TeXmacs/misc/patterns/geometric/asanoha-400px.png
+share/TeXmacs/misc/patterns/geometric/contemporary_china.png
+share/TeXmacs/misc/patterns/geometric/contemporary_china_2.png
+share/TeXmacs/misc/patterns/geometric/cubes.png
+share/TeXmacs/misc/patterns/geometric/escheresque.png
+share/TeXmacs/misc/patterns/geometric/oriental.png
share/TeXmacs/misc/patterns/lines-artistic/
share/TeXmacs/misc/patterns/lines-artistic/lines-artistic-1-05.png
share/TeXmacs/misc/patterns/lines-artistic/lines-artistic-1-10.png
@@ -3340,29 +3386,103 @@ share/TeXmacs/misc/patterns/lines-defaul
share/TeXmacs/misc/patterns/lines-default/lines-default-3-20.png
share/TeXmacs/misc/patterns/lines-default/lines-default-3-25.png
share/TeXmacs/misc/patterns/lines-default/lines-default-3-50.png
-share/TeXmacs/misc/patterns/metal-brushed-dark.png
-share/TeXmacs/misc/patterns/metal-brushed-light.png
-share/TeXmacs/misc/patterns/metal-brushed-medium.png
-share/TeXmacs/misc/patterns/metal-rough-dark.png
-share/TeXmacs/misc/patterns/metal-rough-light.png
-share/TeXmacs/misc/patterns/metal-rough-medium.png
-share/TeXmacs/misc/patterns/paper-manila-bright.png
-share/TeXmacs/misc/patterns/paper-manila-light.png
-share/TeXmacs/misc/patterns/paper-manila-medium.png
-share/TeXmacs/misc/patterns/paper-ridged-bright.png
-share/TeXmacs/misc/patterns/paper-ridged-light.png
-share/TeXmacs/misc/patterns/paper-ridged-medium.png
-share/TeXmacs/misc/patterns/paper-rough-bright.png
-share/TeXmacs/misc/patterns/paper-rough-light.png
-share/TeXmacs/misc/patterns/paper-rough-medium.png
-share/TeXmacs/misc/patterns/pine.png
-share/TeXmacs/misc/patterns/ridged-brushed-dark.png
-share/TeXmacs/misc/patterns/ridged-brushed-light.png
-share/TeXmacs/misc/patterns/ridged-brushed-medium.png
-share/TeXmacs/misc/patterns/wood-dark.png
-share/TeXmacs/misc/patterns/wood-light.png
-share/TeXmacs/misc/patterns/wood-medium.png
-share/TeXmacs/misc/patterns/wood-xdark.png
+share/TeXmacs/misc/patterns/neutral-pattern.png
+share/TeXmacs/misc/patterns/paper/
+share/TeXmacs/misc/patterns/paper/creampaper.png
+share/TeXmacs/misc/patterns/paper/lightpaperfibers.jpg
+share/TeXmacs/misc/patterns/paper/natural_paper.jpg
+share/TeXmacs/misc/patterns/paper/textured_paper.jpg
+share/TeXmacs/misc/patterns/textile/
+share/TeXmacs/misc/patterns/textile/binding_light.png
+share/TeXmacs/misc/patterns/textile/fabric_plaid.png
+share/TeXmacs/misc/patterns/textile/subtle_white_feathers.png
+share/TeXmacs/misc/patterns/textile/tex2res1.png
+share/TeXmacs/misc/patterns/textile/tex2res2.png
+share/TeXmacs/misc/patterns/textile/tex2res3.png
+share/TeXmacs/misc/patterns/textile/tex2res4.png
+share/TeXmacs/misc/patterns/textile/tex2res5.png
+share/TeXmacs/misc/patterns/vintage/
+share/TeXmacs/misc/patterns/vintage/granite-dark.png
+share/TeXmacs/misc/patterns/vintage/granite-light.png
+share/TeXmacs/misc/patterns/vintage/granite-medium.png
+share/TeXmacs/misc/patterns/vintage/granite-xdark.png
+share/TeXmacs/misc/patterns/vintage/ice-dark-blue.png
+share/TeXmacs/misc/patterns/vintage/ice-light.png
+share/TeXmacs/misc/patterns/vintage/ice-medium-blue.png
+share/TeXmacs/misc/patterns/vintage/ice-medium.png
+share/TeXmacs/misc/patterns/vintage/metal-brushed-dark.png
+share/TeXmacs/misc/patterns/vintage/metal-brushed-light.png
+share/TeXmacs/misc/patterns/vintage/metal-brushed-medium.png
+share/TeXmacs/misc/patterns/vintage/metal-rough-dark.png
+share/TeXmacs/misc/patterns/vintage/metal-rough-light.png
+share/TeXmacs/misc/patterns/vintage/metal-rough-medium.png
+share/TeXmacs/misc/patterns/vintage/paper-manila-bright.png
+share/TeXmacs/misc/patterns/vintage/paper-manila-light.png
+share/TeXmacs/misc/patterns/vintage/paper-manila-medium.png
+share/TeXmacs/misc/patterns/vintage/paper-ridged-bright.png
+share/TeXmacs/misc/patterns/vintage/paper-ridged-light.png
+share/TeXmacs/misc/patterns/vintage/paper-ridged-medium.png
+share/TeXmacs/misc/patterns/vintage/paper-rough-bright.png
+share/TeXmacs/misc/patterns/vintage/paper-rough-light.png
+share/TeXmacs/misc/patterns/vintage/paper-rough-medium.png
+share/TeXmacs/misc/patterns/vintage/pine-bright.png
+share/TeXmacs/misc/patterns/vintage/pine-light.png
+share/TeXmacs/misc/patterns/vintage/pine.png
+share/TeXmacs/misc/patterns/vintage/ridged-brushed-dark.png
+share/TeXmacs/misc/patterns/vintage/ridged-brushed-light.png
+share/TeXmacs/misc/patterns/vintage/ridged-brushed-medium.png
+share/TeXmacs/misc/patterns/vintage/wood-dark.png
+share/TeXmacs/misc/patterns/vintage/wood-light.png
+share/TeXmacs/misc/patterns/vintage/wood-medium.png
+share/TeXmacs/misc/patterns/vintage/wood-xdark.png
+share/TeXmacs/misc/patterns/wall/
+share/TeXmacs/misc/patterns/wall/bedge_grunge.png
+share/TeXmacs/misc/patterns/wall/brickwall.png
+share/TeXmacs/misc/patterns/wall/grey-squares.png
+share/TeXmacs/misc/patterns/wall/solid.jpg
+share/TeXmacs/misc/patterns/wall/subtle_grunge.jpg
+share/TeXmacs/misc/patterns/wall/wall4.jpg
+share/TeXmacs/misc/patterns/wall/white_wall.jpg
+share/TeXmacs/misc/patterns/wood/
+share/TeXmacs/misc/patterns/wood/wood-1.jpg
+share/TeXmacs/misc/patterns/wood/wood-2.jpg
+share/TeXmacs/misc/patterns/wood/wood-3.jpg
+share/TeXmacs/misc/patterns/wood/wood-4.jpg
+share/TeXmacs/misc/patterns/wood/wood-5.jpg
+share/TeXmacs/misc/patterns/wood/wood-6.jpg
+share/TeXmacs/misc/pictures/
+share/TeXmacs/misc/pictures/blackboard/
+share/TeXmacs/misc/pictures/blackboard/thumbnail-blackboard-pxhere.jpg
+share/TeXmacs/misc/pictures/cover/
+share/TeXmacs/misc/pictures/cover/thumbnail-gold-landscape-book.jpg
+share/TeXmacs/misc/pictures/frames/
+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/
+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
+share/TeXmacs/misc/pictures/gradients/grey-gradient-background.jpg
+share/TeXmacs/misc/pictures/gradients/vertical-white-black.png
+share/TeXmacs/misc/pictures/paper/
+share/TeXmacs/misc/pictures/paper/thumbnail-paper-antique-beige.jpg
+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/
+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/
+share/TeXmacs/misc/pictures/wood/thumbnail-wood-table.jpg
+share/TeXmacs/misc/pictures/wood/thumbnail-wood-wallpaper.jpg
share/TeXmacs/misc/pixmaps/
share/TeXmacs/misc/pixmaps/LICENSE
share/TeXmacs/misc/pixmaps/TeXmacs-einstein.xpm
@@ -3381,43 +3501,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
@@ -3425,59 +3556,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
@@ -3485,113 +3636,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
@@ -3599,90 +3778,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
@@ -3690,11 +3896,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
@@ -3702,7 +3911,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
@@ -3710,19 +3921,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
@@ -3731,38 +3952,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
@@ -3770,31 +4000,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
@@ -3802,23 +4040,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
@@ -3827,50 +4071,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
@@ -3878,11 +4134,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
@@ -3890,169 +4149,220 @@ 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/
share/TeXmacs/misc/pixmaps/modern/20x20/mode/
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
@@ -4060,111 +4370,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
@@ -4172,23 +4515,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
@@ -4196,159 +4550,208 @@ 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/
share/TeXmacs/misc/pixmaps/modern/24x24/main/
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
@@ -4356,15 +4759,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
@@ -4372,15 +4779,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
@@ -4388,15 +4799,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
@@ -4404,19 +4819,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
@@ -4424,159 +4844,214 @@ 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/
share/TeXmacs/misc/pixmaps/modern/32x32/settings/
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/
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/
share/TeXmacs/misc/pixmaps/traditional/--x17/
share/TeXmacs/misc/pixmaps/traditional/--x17/tm_abstract.xpm
@@ -4721,6 +5196,19 @@ share/TeXmacs/misc/pixmaps/unknown.png
share/TeXmacs/misc/pixmaps/unknown.ps
share/TeXmacs/misc/sounds/
share/TeXmacs/misc/sounds/phone.wav
+share/TeXmacs/misc/textures/
+share/TeXmacs/misc/textures/cover/
+share/TeXmacs/misc/textures/cover/thumbnail-cover-texture-brown.jpg
+share/TeXmacs/misc/textures/cover/thumbnail-cover-texture-green.jpg
+share/TeXmacs/misc/textures/cover/thumbnail-cover-texture-pink.jpg
+share/TeXmacs/misc/textures/cover/thumbnail-cover-texture-red.jpg
+share/TeXmacs/misc/textures/textile/
+share/TeXmacs/misc/textures/textile/thumbnail-fashion-jute-texture.jpg
+share/TeXmacs/misc/textures/wood/
+share/TeXmacs/misc/textures/wood/thumbnail-purty-wood-pattern.jpg
+share/TeXmacs/misc/textures/wood/thumbnail-retina-wood-pattern.jpg
+share/TeXmacs/misc/textures/wood/thumbnail-tileable-wood-pattern.jpg
+share/TeXmacs/misc/textures/wood/thumbnail-wood-pattern-6.jpg
share/TeXmacs/packages/
share/TeXmacs/packages/beamer/
share/TeXmacs/packages/beamer/decorations/
@@ -4728,14 +5216,10 @@ 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/theme/
-share/TeXmacs/packages/beamer/theme/bluish.ts
-share/TeXmacs/packages/beamer/theme/ice.ts
-share/TeXmacs/packages/beamer/theme/metal.ts
-share/TeXmacs/packages/beamer/theme/reddish.ts
-share/TeXmacs/packages/beamer/theme/ridged-paper.ts
share/TeXmacs/packages/beamer/title/
share/TeXmacs/packages/beamer/title/framed-title.ts
share/TeXmacs/packages/beamer/title/title-bar.ts
@@ -4765,6 +5249,12 @@ share/TeXmacs/packages/customize/encrypt
share/TeXmacs/packages/customize/encryption/gpg-info-level-short.ts
share/TeXmacs/packages/customize/float/
share/TeXmacs/packages/customize/float/captions-above.ts
+share/TeXmacs/packages/customize/fonts/
+share/TeXmacs/packages/customize/fonts/bonum-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/
share/TeXmacs/packages/customize/frame/rounded-frames.ts
share/TeXmacs/packages/customize/language/
@@ -4798,6 +5288,7 @@ share/TeXmacs/packages/customize/list/
share/TeXmacs/packages/customize/list/compact-list.ts
share/TeXmacs/packages/customize/list/triangle-list.ts
share/TeXmacs/packages/customize/math/
+share/TeXmacs/packages/customize/math/four-script-sizes.ts
share/TeXmacs/packages/customize/math/math-brackets.ts
share/TeXmacs/packages/customize/math/math-check.ts
share/TeXmacs/packages/customize/paragraph/
@@ -4814,6 +5305,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
@@ -4837,6 +5329,7 @@ share/TeXmacs/packages/documentation/sta
share/TeXmacs/packages/documentation/standard/tmdoc-markup.ts
share/TeXmacs/packages/documentation/standard/tmdoc-traversal.ts
share/TeXmacs/packages/documentation/standard/tmdoc-web.ts
+share/TeXmacs/packages/documentation/standard/tmdoc-web2.ts
share/TeXmacs/packages/environment/
share/TeXmacs/packages/environment/env-base.ts
share/TeXmacs/packages/environment/env-enunciation.ts
@@ -4879,6 +5372,8 @@ 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/
+share/TeXmacs/packages/html/html-fold.ts
share/TeXmacs/packages/latex/
share/TeXmacs/packages/latex/revtex/
share/TeXmacs/packages/latex/revtex/revtex-10pt.ts
@@ -4888,6 +5383,7 @@ share/TeXmacs/packages/miscellaneous/
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/
share/TeXmacs/packages/obsolete/presentation-ridged-paper.ts
share/TeXmacs/packages/poster/
@@ -4900,10 +5396,6 @@ share/TeXmacs/packages/poster/size/a3-po
share/TeXmacs/packages/poster/size/a4-poster.ts
share/TeXmacs/packages/poster/size/landscape-poster.ts
share/TeXmacs/packages/poster/size/portrait-poster.ts
-share/TeXmacs/packages/poster/theme/
-share/TeXmacs/packages/poster/theme/boring-white.ts
-share/TeXmacs/packages/poster/theme/dark-vador.ts
-share/TeXmacs/packages/poster/theme/pale-blue.ts
share/TeXmacs/packages/poster/title/
share/TeXmacs/packages/poster/title/framed-poster-title.ts
share/TeXmacs/packages/poster/title/plain-poster-title.ts
@@ -4934,6 +5426,85 @@ share/TeXmacs/packages/standard/std-util
share/TeXmacs/packages/standard/std.ts
share/TeXmacs/packages/test/
share/TeXmacs/packages/test/algo.ts
+share/TeXmacs/packages/themes/
+share/TeXmacs/packages/themes/base/
+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/
+share/TeXmacs/packages/themes/blackboard/blackboard-combo.ts
+share/TeXmacs/packages/themes/blackboard/blackboard-deco.ts
+share/TeXmacs/packages/themes/blackboard/blackboard-scene.ts
+share/TeXmacs/packages/themes/blackboard/blackboard.ts
+share/TeXmacs/packages/themes/dark/
+share/TeXmacs/packages/themes/dark/dark-combo.ts
+share/TeXmacs/packages/themes/dark/dark-deco.ts
+share/TeXmacs/packages/themes/dark/dark-scene.ts
+share/TeXmacs/packages/themes/granite/
+share/TeXmacs/packages/themes/granite/granite-combo.ts
+share/TeXmacs/packages/themes/granite/granite-deco.ts
+share/TeXmacs/packages/themes/granite/granite-scene.ts
+share/TeXmacs/packages/themes/granite/granite.ts
+share/TeXmacs/packages/themes/ice/
+share/TeXmacs/packages/themes/ice/ice-combo.ts
+share/TeXmacs/packages/themes/ice/ice-deco.ts
+share/TeXmacs/packages/themes/ice/ice-scene.ts
+share/TeXmacs/packages/themes/ice/ice.ts
+share/TeXmacs/packages/themes/light/
+share/TeXmacs/packages/themes/light/light-combo.ts
+share/TeXmacs/packages/themes/light/light-deco.ts
+share/TeXmacs/packages/themes/light/light-scene.ts
+share/TeXmacs/packages/themes/metal/
+share/TeXmacs/packages/themes/metal/metal-combo.ts
+share/TeXmacs/packages/themes/metal/metal-deco.ts
+share/TeXmacs/packages/themes/metal/metal-scene.ts
+share/TeXmacs/packages/themes/metal/metal.ts
+share/TeXmacs/packages/themes/paper/
+share/TeXmacs/packages/themes/paper/manila-paper-combo.ts
+share/TeXmacs/packages/themes/paper/manila-paper.ts
+share/TeXmacs/packages/themes/paper/paper-deco.ts
+share/TeXmacs/packages/themes/paper/paper-scene.ts
+share/TeXmacs/packages/themes/paper/ridged-paper-combo.ts
+share/TeXmacs/packages/themes/paper/ridged-paper.ts
+share/TeXmacs/packages/themes/paper/rough-paper-combo.ts
+share/TeXmacs/packages/themes/paper/rough-paper.ts
+share/TeXmacs/packages/themes/parchment/
+share/TeXmacs/packages/themes/parchment/parchment-combo.ts
+share/TeXmacs/packages/themes/parchment/parchment-deco.ts
+share/TeXmacs/packages/themes/parchment/parchment-scene.ts
+share/TeXmacs/packages/themes/parchment/parchment.ts
+share/TeXmacs/packages/themes/pine/
+share/TeXmacs/packages/themes/pine/pine-combo.ts
+share/TeXmacs/packages/themes/pine/pine.ts
+share/TeXmacs/packages/themes/pine/wood-deco.ts
+share/TeXmacs/packages/themes/pine/wood-scene.ts
+share/TeXmacs/packages/themes/plain/
+share/TeXmacs/packages/themes/plain/bluish-combo.ts
+share/TeXmacs/packages/themes/plain/bluish.ts
+share/TeXmacs/packages/themes/plain/boring-white.ts
+share/TeXmacs/packages/themes/plain/greyish-combo.ts
+share/TeXmacs/packages/themes/plain/pale-blue-combo.ts
+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/
+share/TeXmacs/packages/themes/std/std-frame.ts
+share/TeXmacs/packages/themes/std/std-shadow.ts
+share/TeXmacs/packages/themes/transparent/
+share/TeXmacs/packages/themes/transparent/transparent-deco.ts
+share/TeXmacs/packages/themes/transparent/transparent-scene.ts
+share/TeXmacs/packages/themes/vador/
+share/TeXmacs/packages/themes/vador/dark-vador-combo.ts
+share/TeXmacs/packages/themes/vador/dark-vador.ts
+share/TeXmacs/packages/themes/vador/vador-deco.ts
+share/TeXmacs/packages/themes/vador/vador-scene.ts
+share/TeXmacs/packages/themes/xperiment/
+share/TeXmacs/packages/themes/xperiment/xperiment-combo.ts
+share/TeXmacs/packages/themes/xperiment/xperiment-deco.ts
+share/TeXmacs/packages/themes/xperiment/xperiment-scene.ts
+share/TeXmacs/packages/themes/xperiment/xperiment.ts
share/TeXmacs/packages/utilities/
share/TeXmacs/packages/utilities/icourse.ts
share/TeXmacs/packages/utilities/literate.ts
@@ -5004,6 +5575,7 @@ share/TeXmacs/plugins/coq/src/pico_xml.h
share/TeXmacs/plugins/coq/src/tm_coq.c
share/TeXmacs/plugins/dratex/
share/TeXmacs/plugins/dratex/doc/
+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
share/TeXmacs/plugins/dratex/examples/
@@ -5014,6 +5586,9 @@ share/TeXmacs/plugins/dratex/latex/DraTe
share/TeXmacs/plugins/dratex/progs/
share/TeXmacs/plugins/dratex/progs/init-dratex.scm
share/TeXmacs/plugins/eukleides/
+share/TeXmacs/plugins/eukleides/bin/
+share/TeXmacs/plugins/eukleides/bin/tm_eukleides
+share/TeXmacs/plugins/eukleides/bin/tm_eukleides.old
share/TeXmacs/plugins/eukleides/doc/
share/TeXmacs/plugins/eukleides/doc/eukleides-abstract.en.tm
share/TeXmacs/plugins/eukleides/doc/eukleides-demo.en.tm
@@ -5023,6 +5598,9 @@ share/TeXmacs/plugins/eukleides/progs/eu
share/TeXmacs/plugins/eukleides/progs/eukleides-menus.scm
share/TeXmacs/plugins/eukleides/progs/init-eukleides.scm
share/TeXmacs/plugins/feynmf/
+share/TeXmacs/plugins/feynmf/bin/
+share/TeXmacs/plugins/feynmf/bin/bbox_add.pl
+share/TeXmacs/plugins/feynmf/bin/tm_feynmf
share/TeXmacs/plugins/feynmf/doc/
share/TeXmacs/plugins/feynmf/doc/feynmf-abstract.en.tm
share/TeXmacs/plugins/feynmf/doc/feynmf-demo.en.tm
@@ -5063,11 +5641,21 @@ share/TeXmacs/plugins/gnuplot/doc/gnuplo
share/TeXmacs/plugins/gnuplot/progs/
share/TeXmacs/plugins/gnuplot/progs/gnuplot-input.scm
share/TeXmacs/plugins/gnuplot/progs/init-gnuplot.scm
-share/TeXmacs/plugins/graphs/
-share/TeXmacs/plugins/graphs/doc/
-share/TeXmacs/plugins/graphs/doc/graphviz.en.tm
-share/TeXmacs/plugins/graphs/progs/
-share/TeXmacs/plugins/graphs/progs/init-graphs.scm
+share/TeXmacs/plugins/graph/
+share/TeXmacs/plugins/graph/doc/
+share/TeXmacs/plugins/graph/doc/graph-abstract.en.tm
+share/TeXmacs/plugins/graph/doc/graph-demo.en.tm
+share/TeXmacs/plugins/graph/doc/graph-todo.en.tm
+share/TeXmacs/plugins/graph/doc/graph.en.tm
+share/TeXmacs/plugins/graph/progs/
+share/TeXmacs/plugins/graph/progs/init-graph.scm
+share/TeXmacs/plugins/graphviz/
+share/TeXmacs/plugins/graphviz/doc/
+share/TeXmacs/plugins/graphviz/doc/graphviz-abstract.en.tm
+share/TeXmacs/plugins/graphviz/doc/graphviz-demo.en.tm
+share/TeXmacs/plugins/graphviz/doc/graphviz.en.tm
+share/TeXmacs/plugins/graphviz/progs/
+share/TeXmacs/plugins/graphviz/progs/init-graphviz.scm
share/TeXmacs/plugins/gtybalt/
share/TeXmacs/plugins/gtybalt/doc/
share/TeXmacs/plugins/gtybalt/doc/gtybalt-abstract.en.tm
@@ -5075,6 +5663,8 @@ share/TeXmacs/plugins/gtybalt/doc/gtybal
share/TeXmacs/plugins/gtybalt/progs/
share/TeXmacs/plugins/gtybalt/progs/init-gtybalt.scm
share/TeXmacs/plugins/lisp/
+share/TeXmacs/plugins/lisp/bin/
+share/TeXmacs/plugins/lisp/bin/tm_lisp
share/TeXmacs/plugins/lisp/clisp/
share/TeXmacs/plugins/lisp/clisp/clisp-init.lisp
share/TeXmacs/plugins/lisp/clisp/clisp.ps
@@ -5091,6 +5681,8 @@ share/TeXmacs/plugins/lisp/progs/init-li
share/TeXmacs/plugins/lisp/scl/
share/TeXmacs/plugins/lisp/scl/scl-init.lisp
share/TeXmacs/plugins/lush/
+share/TeXmacs/plugins/lush/bin/
+share/TeXmacs/plugins/lush/bin/tm_lush
share/TeXmacs/plugins/lush/doc/
share/TeXmacs/plugins/lush/doc/lush.en.tm
share/TeXmacs/plugins/lush/lush/
@@ -5114,6 +5706,7 @@ share/TeXmacs/plugins/maple/CMakeLists.t
share/TeXmacs/plugins/maple/Makefile
share/TeXmacs/plugins/maple/Makefile.9
share/TeXmacs/plugins/maple/bin/
+share/TeXmacs/plugins/maple/bin/tm_maple
@bin share/TeXmacs/plugins/maple/bin/tm_maple_5
share/TeXmacs/plugins/maple/doc/
share/TeXmacs/plugins/maple/doc/maple.en.tm
@@ -5148,6 +5741,8 @@ share/TeXmacs/plugins/mathemagix/progs/m
share/TeXmacs/plugins/mathematica/
share/TeXmacs/plugins/mathematica/Makefile
share/TeXmacs/plugins/mathematica/Makefile.lazy
+share/TeXmacs/plugins/mathematica/bin/
+share/TeXmacs/plugins/mathematica/bin/tm_mathematica
share/TeXmacs/plugins/mathematica/doc/
share/TeXmacs/plugins/mathematica/doc/mathematica.en.tm
share/TeXmacs/plugins/mathematica/packages/
@@ -5163,6 +5758,8 @@ share/TeXmacs/plugins/mathematica/src.la
share/TeXmacs/plugins/mathematica/src.lazy/tm_mathematica.c
share/TeXmacs/plugins/mathematica/src/realpath.c
share/TeXmacs/plugins/matlab/
+share/TeXmacs/plugins/matlab/bin/
+share/TeXmacs/plugins/matlab/bin/tm_matlab
share/TeXmacs/plugins/matlab/code/
share/TeXmacs/plugins/matlab/code/isnewans.m
share/TeXmacs/plugins/matlab/code/mat2scm.m
@@ -5181,6 +5778,9 @@ share/TeXmacs/plugins/matlab/doc/matlab.
share/TeXmacs/plugins/matlab/progs/
share/TeXmacs/plugins/matlab/progs/init-matlab.scm
share/TeXmacs/plugins/maxima/
+share/TeXmacs/plugins/maxima/README.md
+share/TeXmacs/plugins/maxima/bin/
+share/TeXmacs/plugins/maxima/bin/tm_maxima
share/TeXmacs/plugins/maxima/doc/
share/TeXmacs/plugins/maxima/doc/maxima-abstract.en.tm
share/TeXmacs/plugins/maxima/doc/maxima-demo.en.tm
@@ -5205,6 +5805,9 @@ share/TeXmacs/plugins/mmi/progs/init-mmi
share/TeXmacs/plugins/mmi/progs/mmi-edit.scm
share/TeXmacs/plugins/mmi/progs/mmi-input.scm
share/TeXmacs/plugins/mupad/
+share/TeXmacs/plugins/mupad/bin/
+share/TeXmacs/plugins/mupad/bin/tm_mupad
+share/TeXmacs/plugins/mupad/bin/tm_mupad_help
share/TeXmacs/plugins/mupad/doc/
share/TeXmacs/plugins/mupad/doc/mupad.en.tm
share/TeXmacs/plugins/mupad/packages/
@@ -5222,6 +5825,9 @@ share/TeXmacs/plugins/mycas/progs/init-m
share/TeXmacs/plugins/mycas/src/
share/TeXmacs/plugins/mycas/src/mycas.cpp
share/TeXmacs/plugins/octave/
+share/TeXmacs/plugins/octave/bin/
+share/TeXmacs/plugins/octave/bin/tm_octave
+share/TeXmacs/plugins/octave/bin/tm_octave.bat
share/TeXmacs/plugins/octave/doc/
share/TeXmacs/plugins/octave/doc/README
share/TeXmacs/plugins/octave/doc/octave-abstract.en.tm
@@ -5269,6 +5875,7 @@ share/TeXmacs/plugins/pari/progs/
share/TeXmacs/plugins/pari/progs/init-pari.scm
share/TeXmacs/plugins/pari/progs/pari-menus.scm
share/TeXmacs/plugins/python/
+share/TeXmacs/plugins/python/README.md
share/TeXmacs/plugins/python/doc/
share/TeXmacs/plugins/python/doc/python-abstract.en.tm
share/TeXmacs/plugins/python/doc/python-demo.en.tm
@@ -5291,7 +5898,9 @@ share/TeXmacs/plugins/qcl/progs/qcl-inpu
share/TeXmacs/plugins/r/
share/TeXmacs/plugins/r/CMakeLists.txt
share/TeXmacs/plugins/r/Makefile
+share/TeXmacs/plugins/r/README.md
share/TeXmacs/plugins/r/bin/
+share/TeXmacs/plugins/r/bin/r_install
@bin share/TeXmacs/plugins/r/bin/tm_r
share/TeXmacs/plugins/r/doc/
share/TeXmacs/plugins/r/doc/r-abstract.en.tm
@@ -5347,7 +5956,10 @@ share/TeXmacs/plugins/r/r/TeXmacs/man/tr
share/TeXmacs/plugins/r/r/TeXmacs/man/v.Rd
share/TeXmacs/plugins/r/src/
share/TeXmacs/plugins/r/src/tm_r.c
+share/TeXmacs/plugins/r/texmacs.r
share/TeXmacs/plugins/reduce/
+share/TeXmacs/plugins/reduce/bin/
+share/TeXmacs/plugins/reduce/bin/tm_reduce
share/TeXmacs/plugins/reduce/doc/
share/TeXmacs/plugins/reduce/doc/reduce-abstract.en.tm
share/TeXmacs/plugins/reduce/doc/reduce-demo.en.tm
@@ -5360,6 +5972,7 @@ share/TeXmacs/plugins/reduce/progs/reduc
share/TeXmacs/plugins/reduce/progs/reduce-kbd.scm
share/TeXmacs/plugins/reduce/progs/reduce-menus.scm
share/TeXmacs/plugins/sage/
+share/TeXmacs/plugins/sage/README.md
share/TeXmacs/plugins/sage/doc/
share/TeXmacs/plugins/sage/doc/sage-abstract.en.tm
share/TeXmacs/plugins/sage/doc/sage-tour.en.tm
@@ -5368,6 +5981,14 @@ share/TeXmacs/plugins/sage/progs/
share/TeXmacs/plugins/sage/progs/init-sage.scm
share/TeXmacs/plugins/sage/progs/sage-input.scm
share/TeXmacs/plugins/scilab/
+share/TeXmacs/plugins/scilab/bin/
+share/TeXmacs/plugins/scilab/bin/add_to_insert_menu.sci
+share/TeXmacs/plugins/scilab/bin/init-scilab.sce
+share/TeXmacs/plugins/scilab/bin/plotout.sci
+share/TeXmacs/plugins/scilab/bin/populates_demo_menu.sci
+share/TeXmacs/plugins/scilab/bin/rm_from_insert_menu.sci
+share/TeXmacs/plugins/scilab/bin/scilab-demo.sce
+share/TeXmacs/plugins/scilab/bin/tmstree.sci
share/TeXmacs/plugins/scilab/doc/
share/TeXmacs/plugins/scilab/doc/scilab-abstract.en.tm
share/TeXmacs/plugins/scilab/doc/scilab-demo.en.tm
@@ -5389,9 +6010,14 @@ share/TeXmacs/plugins/shell/progs/
share/TeXmacs/plugins/shell/progs/init-shell.scm
share/TeXmacs/plugins/shell/src/
share/TeXmacs/plugins/shell/src/tm_shell.cpp
+share/TeXmacs/plugins/sympy/
+share/TeXmacs/plugins/sympy/progs/
+share/TeXmacs/plugins/sympy/progs/init-sympy.scm
share/TeXmacs/plugins/texgraph/
share/TeXmacs/plugins/texgraph/LisezMoi.txt
share/TeXmacs/plugins/texgraph/ReadMe.txt
+share/TeXmacs/plugins/texgraph/bin/
+share/TeXmacs/plugins/texgraph/bin/tm_texgraph
share/TeXmacs/plugins/texgraph/doc/
share/TeXmacs/plugins/texgraph/doc/texgraph-abstract.en.tm
share/TeXmacs/plugins/texgraph/doc/texgraph.en.tm
@@ -5408,6 +6034,40 @@ 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/tmpy/
+share/TeXmacs/plugins/tmpy/README.md
+share/TeXmacs/plugins/tmpy/__init__.py
+share/TeXmacs/plugins/tmpy/capture.py
+share/TeXmacs/plugins/tmpy/compat.py
+share/TeXmacs/plugins/tmpy/completion.py
+share/TeXmacs/plugins/tmpy/graph/
+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
+share/TeXmacs/plugins/tmpy/graph/graphviz.py
+share/TeXmacs/plugins/tmpy/graph/latex.py
+share/TeXmacs/plugins/tmpy/graph/mermaid.py
+share/TeXmacs/plugins/tmpy/graph/pdflatex.py
+share/TeXmacs/plugins/tmpy/graph/plantuml.py
+share/TeXmacs/plugins/tmpy/graph/tikz.py
+share/TeXmacs/plugins/tmpy/graph/xypic.py
+share/TeXmacs/plugins/tmpy/postscript.py
+share/TeXmacs/plugins/tmpy/protocol.py
+share/TeXmacs/plugins/tmpy/session/
+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_xypic.py
share/TeXmacs/plugins/xypic/
share/TeXmacs/plugins/xypic/doc/
share/TeXmacs/plugins/xypic/doc/xypic.en.tm
@@ -5506,6 +6166,7 @@ share/TeXmacs/progs/convert/rewrite/tmtm
share/TeXmacs/progs/convert/tmml/
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/
@@ -5586,6 +6247,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
@@ -5627,6 +6289,7 @@ share/TeXmacs/progs/generic/generic-edit
share/TeXmacs/progs/generic/generic-kbd.scm
share/TeXmacs/progs/generic/generic-menu.scm
share/TeXmacs/progs/generic/insert-menu.scm
+share/TeXmacs/progs/generic/pattern-selector.scm
share/TeXmacs/progs/generic/search-widgets.scm
share/TeXmacs/progs/generic/spell-widgets.scm
share/TeXmacs/progs/graphics/
@@ -5720,11 +6383,16 @@ share/TeXmacs/progs/part/part-shared.scm
share/TeXmacs/progs/part/part-tmfs.scm
share/TeXmacs/progs/prog/
share/TeXmacs/progs/prog/cpp-edit.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/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/scala-edit.scm
share/TeXmacs/progs/prog/scheme-autocomplete.scm
share/TeXmacs/progs/prog/scheme-edit.scm
share/TeXmacs/progs/prog/scheme-menu.scm
@@ -5755,6 +6423,7 @@ share/TeXmacs/progs/source/
share/TeXmacs/progs/source/macro-edit.scm
share/TeXmacs/progs/source/macro-search.scm
share/TeXmacs/progs/source/macro-widgets.scm
+share/TeXmacs/progs/source/source-drd.scm
share/TeXmacs/progs/source/source-edit.scm
share/TeXmacs/progs/source/source-kbd.scm
share/TeXmacs/progs/source/source-menu.scm
@@ -5830,11 +6499,13 @@ share/TeXmacs/progs/utils/literate/lp-bu
share/TeXmacs/progs/utils/literate/lp-edit.scm
share/TeXmacs/progs/utils/literate/lp-menu.scm
share/TeXmacs/progs/utils/misc/
+share/TeXmacs/progs/utils/misc/artwork.scm
share/TeXmacs/progs/utils/misc/doxygen.scm
share/TeXmacs/progs/utils/misc/extern-demo.scm
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/
share/TeXmacs/progs/utils/plugins/plugin-cmd.scm
@@ -5856,6 +6527,7 @@ share/TeXmacs/progs/version/
share/TeXmacs/progs/version/version-compare.scm
share/TeXmacs/progs/version/version-drd.scm
share/TeXmacs/progs/version/version-edit.scm
+share/TeXmacs/progs/version/version-git.scm
share/TeXmacs/progs/version/version-kbd.scm
share/TeXmacs/progs/version/version-menu.scm
share/TeXmacs/progs/version/version-svn.scm
@@ -5906,6 +6578,7 @@ share/TeXmacs/styles/documentation/texma
share/TeXmacs/styles/documentation/texmacs/tmdoc.ts
share/TeXmacs/styles/documentation/texmacs/tmmanual.ts
share/TeXmacs/styles/documentation/texmacs/tmweb.ts
+share/TeXmacs/styles/documentation/texmacs/tmweb2.ts
share/TeXmacs/styles/education/
share/TeXmacs/styles/education/course.ts
share/TeXmacs/styles/education/exam.ts
@@ -5943,15 +6616,15 @@ 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/
-share/application_registry/texmacs.applications
+share/TeXmacs/texts/test/translate-demo.tm
share/applications/texmacs.desktop
+share/doc/pkg-readmes/${PKGSTEM}
share/icons/gnome/
share/icons/gnome/scalable/
share/icons/gnome/scalable/apps/
-share/icons/gnome/scalable/apps/TeXmacs.svg
+share/icons/gnome/scalable/apps/texmacs.svg
share/icons/gnome/scalable/mimetypes/
-share/icons/gnome/scalable/mimetypes/text-texmacs.svg
+share/icons/gnome/scalable/mimetypes/text-x-texmacs.svg
share/mime/packages/texmacs.xml
share/pixmaps/
share/pixmaps/TeXmacs.xpm
Index: pkg/README
===================================================================
RCS file: pkg/README
diff -N pkg/README
--- /dev/null 1 Jan 1970 00:00:00 -0000
+++ pkg/README 27 Feb 2020 03:31:07 -0000
@@ -0,0 +1,37 @@
+$OpenBSD$
+
++-------------------------------------------------------------------------------
+| Running ${PKGSTEM} on OpenBSD
++-------------------------------------------------------------------------------
+
+Plug-ins
+========
+
+Many plug-ins for external software exist for GNU TeXmacs. Install the
+corresponding packages to use these plug-ins (e.g., `pkg_add gnuplot').
+
+dratex: texlive_base%
+gnuplot: gnuplot
+graphviz: graphviz
+lisp: clisp
+maxima: maxima
+octave: octave
+pari: pari
+python: python3
+R: R
+sympy: py3-sympy
+
+Usage
+-----
+Once an external package has been installed, it should be listed in the
+following menus.
+
+Interactive session: Insert > Session
+
+Executable folded environment: Insert > Fold > Executable
+
+Documentation
+-------------
+Inside TeXmacs: Help > Plug-ins
+${TRUEPREFIX}/share/TeXmacs/plugins/*/doc
+https://www.texmacs.org/tmweb/plugins/plugins.en.html