branch: externals/gtags-mode
commit ce6a4a6201c9fffad5d708d2fd4673090cf0add7
Merge: 9dcb18fbe7 3012f128ea
Author: Jimmy Aguilar Mena <er...@users.noreply.github.com>
Commit: GitHub <nore...@github.com>

    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)

Reply via email to