|
Named label/reference
|
3
|
June 16, 2020
|
|
Exam - dotted lines in front of the answers
|
2
|
June 15, 2020
|
|
HiDPI configuration of TeXmacs 1.99.13
|
7
|
June 14, 2020
|
|
Draw several characters at once in 1.99.13
|
3
|
June 12, 2020
|
|
Idea: Use TeXmacs to edit source code (e.g., Julia) using standard math notation wherever possible
|
2
|
June 11, 2020
|
|
Controling the spacing (e.g. suppressing the space for multiplications)
|
1
|
June 9, 2020
|
|
Add support for Penrose diagram tool in TeXmacs? [video, paper, source]
|
1
|
June 3, 2020
|
|
Make TeXmacs more like Roam Research — an advanced note taking tool?
|
1
|
May 25, 2020
|
|
How to make texmacs more emacs-like
|
3
|
May 25, 2020
|
|
Change short cuts for copy ans paste
|
2
|
May 14, 2020
|
|
Problem under windows with Qt
|
5
|
May 7, 2020
|
|
How to add a customed entry into the menu bar
|
3
|
May 6, 2020
|
|
Idea: math mode autocompletion via math fragment sharing among TeXmacs users
|
7
|
April 26, 2020
|
|
Chinese texts in Scheme
|
7
|
April 21, 2020
|
|
Idea: Encourage TeXmacs usage by giving users and their documents INSTANT worldwide visibility on every save
|
1
|
April 21, 2020
|
|
A poll on user background
|
10
|
April 20, 2020
|
|
Why is ∑ backwards in the TeXmacs icon?
|
2
|
April 4, 2020
|
|
Display-style table within a paragraph
|
1
|
March 21, 2020
|
|
Drawing horizontal/vertical segments in technical pictures in TeXmacs
|
3
|
March 20, 2020
|
|
Idea: Promote TeXmacs as a replacement for todo apps
|
5
|
March 17, 2020
|
|
Undefined reference during linking: remove_notifier, add_notifier , perform_select
|
3
|
March 12, 2020
|
|
Unexpected tabular dimensions behavior
|
1
|
February 21, 2020
|
|
More effective way of moving cursors
|
3
|
February 17, 2020
|
|
Surveys on Python Usage in TeXmacs
|
1
|
January 6, 2020
|
|
[Solved] Huge icons in 1.99.11, Fedora 29 and 30
|
4
|
October 18, 2019
|
|
No line wrapping
|
1
|
October 17, 2019
|
|
Scroll with the keyboard
|
1
|
October 16, 2019
|
|
A wiki for texmacs
|
3
|
October 11, 2019
|
|
How to navigate a long document?
|
4
|
October 10, 2019
|
|
Quick way to check keyboard shortcuts?
|
3
|
October 10, 2019
|
