Subject: mailing-list for TeXmacs Users
List archive
From : Jorge Fernández de Cossío Díaz <address@hidden>- To: address@hidden
- Subject: Select different meta key?
- Date: Sat, 26 Oct 2019 13:08:09 +0200
How can I select a different meta key?
The start menu button is captured by Ubuntu so it doesn't work.
- Select different meta key?, Jorge Fernández de Cossío Díaz, 10/26/2019
Archive powered by MHonArc 2.6.19.