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)