ui_out format strings for fields and styles (Re: [PATCH] Style "pwd" output)

[Pedro Alves]

On 7/1/19 2:17 PM, Pedro Alves wrote:
> On 7/1/19 1:55 PM, Pedro Alves wrote:
> 
>> There are two other things that I wanted to experiment/try first.
>>
>> - See if we could get rid of the need for the ".ptr ()" calls.
>>
>> - See about implementing support for some ui field type other than
>>   integers, to make sure that we're not missing something.
> Here's a patch for thing #2.  It adds a string_field type.

I pushed the 4 patches I shown today to the users/palves/format_strings-experiment
branch now.  (left users/palves/format_strings untouched.)

Thanks,
Pedro Alves