Coverity musings

[Jean-Marc Lasgouttes]

Le 19/09/2024 à 15:40, Jürgen Spitzmüller a écrit :
> Am Donnerstag, dem 19.09.2024 um 15:14 +0200 schrieb Jean-Marc
> Lasgouttes:
>> But why go from a vector<> to a map<>?
> 
> Frankly: I can't remember.
> 


What I have in mind as a simpler alternative is this (like the last 
patch, with vector instead of map).

Unfortunately, I have no idea how to test it properly.

JMarc

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Use-a-vector-bool-instead-of-map-col-type-bool.patch
Type: text/x-patch
Size: 6627 bytes
Desc: not available
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20240919/772afb5a/attachment.bin>