Re: Another proposal for frontends and queries.

[Tom Tromey <tromey@redhat.com>]

>>>>> ">" == Hui Zhu <teawater@gmail.com> writes:

>> And about the patch I said can handle this issue is "set record query
>> <on|off>" patch.  I cannot find who don't like this patch.

I don't like it, I think I said that in another thread.

The reason I don't like it is twofold.

First, queries are a general feature of gdb.  They are sprinkled about
rather liberally.  So, if one causes problems for a front end, then it
probably represents a general class of problems.  IMO, fixing it in this
ad hoc way is not a good way to attack a generic problem.

The thought experiment to perform here is to consider generalizing this
solution to all the queries in gdb.  I think that would result in
madness: hundreds of "disable this query" settings.

Second, this has the feeling of an "unbreak my gdb" option.  That is,
setting an option to avoid one particular query says to me that the
query is probably badly chosen in some way.

Tom