First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Select different meta key?


Chronological Thread 
  • 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.

Top of page