[PATCH 00/16] Add styling to the gdb CLI and TUI

[Simon Marchi]

On 2019-03-21 12:01, Eli Zaretskii wrote:
>> Date: Thu, 21 Mar 2019 11:02:00 -0400
>> From: Simon Marchi <simark@simark.ca>
>> Cc: tom@tromey.com, gdb-patches@sourceware.org
>> 
>> > I don't have a strong opinion, but I do have a weak one: the decimal
>> > "encoding" makes it much easier for humans to construct version
>> > numbers, they don't need to convert to hex.
>> 
>> There's not much difference in hex, you would just write "if
>> $_gdb_version >= 0x0901" for example, rather than "if $_gdb_version >=
>> 901".
> 
> That's true for small values of major/minor.  But imagine GDB 12.13
> for a moment.

Hmm, true :).

Simon