|
From: | Miguel de Benito Delgado |
Subject: | Re: [Texmacs-dev] need help |
Date: | Tue, 12 Aug 2014 21:10:14 +0200 |
Hola Luis, you probably clicked on View->Header and disabled the toolbars. To recover them use the shortcut super+shift+T (cmd+shift+T) under MacOS, or if this doesn’t work for some reason, close TeXmacs and edit your preferences file in ~/.TeXmacs/system/preferences.scm changing the line reading ("header" "off”) to ("header" "on”) then save the file and start TeXmacs. Best, -- Miguel de Benito Delgado. On 12 August, 2014 at 10:21:10, François Poulain (address@hidden) wrote:
|
[Prev in Thread] | Current Thread | [Next in Thread] |