|
Reference Search Feature
|
9
|
January 5, 2022
|
|
Problems with table of contexts and index links
|
1
|
January 5, 2022
|
|
Find unused labels?
|
2
|
January 3, 2022
|
|
Is there a read-only mode?
|
2
|
January 3, 2022
|
|
Multiple citations together
|
2
|
January 3, 2022
|
|
Idea: A flawless web export of TeXmacs files using WebAssembly
|
2
|
January 1, 2022
|
|
Table of contents in beamer
|
10
|
December 29, 2021
|
|
Idea: Tell people that TeX being bug free is actually a bad thing
|
1
|
December 29, 2021
|
|
Show/hide multiplication dot
|
6
|
December 26, 2021
|
|
How to activate plug-ins
|
2
|
December 25, 2021
|
|
About semantic focus
|
3
|
December 19, 2021
|
|
Unable to customize `alt-b` and `alt-f` for moving by words
|
4
|
December 18, 2021
|
|
[Solved] Cannot open old files?
|
4
|
December 17, 2021
|
|
F10 and F11 not turning pages in presentation mode
|
4
|
December 15, 2021
|
|
Simple numerical application
|
5
|
December 12, 2021
|
|
Smoother scrolling?
|
2
|
December 11, 2021
|
|
How to change display style default
|
8
|
December 11, 2021
|
|
How to set default position for bars
|
3
|
December 10, 2021
|
|
Exit "raw edit" mode
|
5
|
December 10, 2021
|
|
How to jump outside a braket quickly
|
3
|
December 10, 2021
|
|
Why does search stop working after you make a change to your document?
|
3
|
December 7, 2021
|
|
How to update document style
|
3
|
December 5, 2021
|
|
New theoretical computer science journal
|
1
|
December 2, 2021
|
|
Idea: Use TeXmacs to edit source code using a proportional font with perfect alignment everywhere
|
2
|
November 30, 2021
|
|
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
|
