branch: externals/gtags-mode
commit ce6a4a6201c9fffad5d708d2fd4673090cf0add7
Merge: 9dcb18fbe7 3012f128ea
Author: Jimmy Aguilar Mena <[email protected]>
Commit: GitHub <[email protected]>
Merge pull request #1 from jangid/master
Change "Gtags" to " Gtags" for minor-mode name
---
gtags-mode.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gtags-mode.el b/gtags-mode.el
index 2a0b2f4193..8983262566 100644
--- a/gtags-mode.el
+++ b/gtags-mode.el
@@ -45,7 +45,7 @@
:type 'string
:local t)
-(defcustom gtags-mode-lighter "Gtags"
+(defcustom gtags-mode-lighter " Gtags"
"Gtags executable."
:type 'string
:risky t)
