From 9fa36455c9778774a748528a6aab5304b3d40ff8 Mon Sep 17 00:00:00 2001
From: Pavel Sanda <sanda@lyx.org>
Date: Sat, 21 Apr 2018 10:06:27 +0200
Subject: [PATCH] cosmetics

---
 src/FuncRequest.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/FuncRequest.h b/src/FuncRequest.h
index d5f5aef003..f0b9e7cfe6 100644
--- a/src/FuncRequest.h
+++ b/src/FuncRequest.h
@@ -121,7 +121,8 @@ private:
 	mouse_button::state button_;
 	///
 	KeyModifier modifier_;
-	///
+	/// Commands should be run synchronously when they
+	/// are launched via "command-sequence" or "repeat"
 	bool allow_async_;
 };