|
Idea: An alternative to arXiv.org that only accepts TeXmacs format
|
4
|
November 29, 2021
|
|
Searching in the math mode does not find all instances
|
15
|
November 25, 2021
|
|
Blurry png pictures
|
14
|
November 24, 2021
|
|
Emacs keybindings not work & reference for keyboard commands
|
3
|
November 24, 2021
|
|
Https://texmacs.org doesn't work on iPad (it says certificate has expired)
|
1
|
November 22, 2021
|
|
Why not show a "focus bar" in the left margin whenever a focus box is not important?
|
1
|
November 21, 2021
|
|
Video inclusion
|
4
|
November 21, 2021
|
|
Presentation: Remapping Remote Control keys: no options / pgup, pgdn, F9, F10 dont work (TM 2.1, Win10)
|
3
|
November 21, 2021
|
|
Page breaking in framed or ornamented
|
7
|
November 19, 2021
|
|
Feature idea: M1 speedup estimate for action you just made in TeXmacs
|
1
|
November 19, 2021
|
|
How to change footnote font size?
|
5
|
November 18, 2021
|
|
Article: "Move over, Microsoft Word: The race to reinvent document editing"
|
1
|
November 17, 2021
|
|
How to undo bold face?
|
3
|
November 17, 2021
|
|
Add comment facilities to TeXmacs
|
10
|
November 17, 2021
|
|
Overlapped text in right-click menu
|
1
|
November 17, 2021
|
|
Form input for plugins
|
14
|
November 15, 2021
|
|
Now that Windows can run Linux gui apps, will the Windows version of TeXmacs continue?
|
5
|
November 12, 2021
|
|
Idea: Workspaces and automatic file creation as first steps towards note taking support
|
1
|
November 12, 2021
|
|
Does the R plugin work?
|
26
|
November 12, 2021
|
|
Setting background picture seems broken (2.11, Windows)?
|
6
|
November 11, 2021
|
|
Overriding page header / footer seems broken (2.11, Windows)?
|
6
|
November 11, 2021
|
|
Bad news? VSCode supports WYSIWYG editing (e.g., see "markless" plugin)
|
7
|
November 11, 2021
|
|
Small formatting problem: tiny square roots
|
28
|
November 9, 2021
|
|
Default new document settings
|
12
|
October 27, 2021
|
|
Sessions in Ubuntu 21.04
|
11
|
October 19, 2021
|
|
"Connection not private" for texmacs.org
|
2
|
October 18, 2021
|
|
Idea: Automatically export to pdf on every save
|
2
|
October 18, 2021
|
|
How to move page number to bottom of page?
|
8
|
October 13, 2021
|
|
Table of contents and paragraphs
|
8
|
October 13, 2021
|
|
References to arbitrary points in the document
|
3
|
October 11, 2021
|
