From 303427713577a58554f4030ade075e8393e5e52a Mon Sep 17 00:00:00 2001 From: Pavel Sanda Date: Fri, 16 Aug 2019 23:01:34 +0200 Subject: [PATCH] As observed on users list it's hard to guess where to setup external editor. --- src/frontends/qt/ui/LocalLayoutUi.ui | 3 +++ src/frontends/qt/ui/PreambleUi.ui | 3 +++ 2 files changed, 6 insertions(+) diff --git a/src/frontends/qt/ui/LocalLayoutUi.ui b/src/frontends/qt/ui/LocalLayoutUi.ui index abb29c5a78..fc753b7c15 100644 --- a/src/frontends/qt/ui/LocalLayoutUi.ui +++ b/src/frontends/qt/ui/LocalLayoutUi.ui @@ -70,6 +70,9 @@ + + Editor for Latex (plain) format will be used + &Edit diff --git a/src/frontends/qt/ui/PreambleUi.ui b/src/frontends/qt/ui/PreambleUi.ui index 6c6b12e76a..8a7015c6dd 100644 --- a/src/frontends/qt/ui/PreambleUi.ui +++ b/src/frontends/qt/ui/PreambleUi.ui @@ -41,6 +41,9 @@ + + Editor for Latex (plain) format will be used + &Edit -- 2.39.5