[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Enhancement: Switch gtags-rootdir easily and interactively
From: |
Shigio YAMAGUCHI |
Subject: |
Re: [PATCH] Enhancement: Switch gtags-rootdir easily and interactively |
Date: |
Thu, 3 Jul 2008 20:04:30 +0900 |
On Wed, 02 Jul 2008 04:32:49 +0900
Kazuo YAGI <address@hidden> wrote:
Hi,
Thank you for patch.
It works well and it's convenient.
But it seems not to be the one which specially relates
to gtags-mode.
It does the followings:
1. make user choose a directory path in a path list.
2. change directory to the path.
This facility is convenient in a lot of modes beside gtags-mode.
You might make this program an independent minor mode?
Besides, the patch brings a little problem into gtags-mode.
In gtags.el, changing directory brings no adjustment.
For example, changing directory in gtags-select-mode disables
the tag jump facility.
Taking these into consideration, this facility should be outside
of gtags-mode, I think.
What do you think?
--
Shigio YAMAGUCHI <address@hidden> - GNU Project
PGP fingerprint: D1CB 0B89 B346 4AB6 5663 C4B6 3CA5 BBB3 57BE DDA3
- [PATCH] Enhancement: Switch gtags-rootdir easily and interactively, Kazuo YAGI, 2008/07/01
- Re: [PATCH] Enhancement: Switch gtags-rootdir easily and interactively,
Shigio YAMAGUCHI <=
- Re: [PATCH] Enhancement: Switch gtags-rootdir easily and interactively, Shigio YAMAGUCHI, 2008/07/03
- Re: [PATCH] Enhancement: Switch gtags-rootdir easily and interactively, Kazuo YAGI, 2008/07/05
- Re: [PATCH] Enhancement: Switch gtags-rootdir easily and interactively, Shigio YAMAGUCHI, 2008/07/05
- Re: [PATCH] Enhancement: Switch gtags-rootdir easily and interactively, Kazuo YAGI, 2008/07/06
- Re: [PATCH] Enhancement: Switch gtags-rootdir easily and interactively, Kazuo YAGI, 2008/07/06
- Re: [PATCH] Enhancement: Switch gtags-rootdir easily and interactively, Shigio YAMAGUCHI, 2008/07/06
- Re: [PATCH] Enhancement: Switch gtags-rootdir easily and interactively, Kazuo YAGI, 2008/07/07
- Re: [PATCH] Enhancement: Switch gtags-rootdir easily and interactively, Shigio YAMAGUCHI, 2008/07/07
- Re: [PATCH] Enhancement: Switch gtags-rootdir easily and interactively, Kazuo YAGI, 2008/07/07