coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] how to change proof view diff appearance in Visual Studio Coq extension?

From: "jonikelee AT gmail.com" <jonikelee AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] how to change proof view diff appearance in Visual Studio Coq extension?
Date: Fri, 8 May 2020 16:29:37 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jonikelee AT gmail.com; spf=Pass smtp.mailfrom=jonikelee AT gmail.com; spf=None smtp.helo=postmaster AT mail-qv1-f50.google.com
Ironport-phdr: 9a23:ry6zCByQ3W1Vb9PXCy+O+j09IxM/srCxBDY+r6Qd2uoXIJqq85mqBkHD//Il1AaPAdyGraIfwLqM+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxhIiTanYr5/Ihq6oAbPusILnYZsN6E9xwfTrHBVYepW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbfVwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8qFmQwLqhigaLT406G/ZhMxugqxGoxyvoBNwzJLbboyOKPpzfLnQcc8ASGZdQMpcUTFKDIOmb4sICuoMJehUr4v6p1sIrBu+BhejBOfxxTBWnXL20qg63P4gEQHCxgAvA9UOsHHaoN7oM6oSU+e1zK/JzTXAcfxW3Sny55bTfxAupPGDR7Nwcc7LxUYzEAPFi0ydpIr4NDyayuoDqXKU7/Z8Ve2xkW4nrRl8riWvy8kshYTEmJ4Zx0zE+Ch7zos4OdK1RFJ7bNK5HpVcqyWXOop2TM4hXWxkpDo3x6AYtZO5YCUH1Zoqyh7RZfGBboOG4QrjWf6PLTtkgH9pYrGyihao/US+1+HxUtO43VZWoiZdjNXBt2wB2wHW58SaTvZy4kKs1DmO2gzP9u1JJF44mrHVK5E8x7M9lpkevl/fESLzmEj5kKGWdksh9+im9evqbajpq5qHOIBpiwzxKaIjkdGlD+siKAgBRW2b9Py81LL9+U35R61HjvgsnanYtJDWPN0bprCkDwNM3IYu6wqzAy2p0NQfmnkHI1ZFdwydg4f1PFHOJej0Dfa5g1uyjDdm3+7KMqHlD5nXLXXOkK3tcahg50NY0gY+zcxT64pRCr4bIfLzXkHxtMbfDh88KwG0weHnCNN81oMdR22PBrGWP73JvF+H4+IgOeiMZIsPtDnhLPgl4ubijWUlll8FYampwZwXZWikEfRhOkWVeGbjgtMcEWgRpQc+V+zriFiaUTFJfXqyXqQ85is6CI28F4vDSJqt0/S923KwGYQTbWRbABjYGnDxMo6ARv0kaSSII8YnnCZSBpa7TIp0nxOpsg75xr5qI8Lb/yQZsdTo090/r7nRkhcz9jFwAsm13GSETmUylWQNEWxllJtjqFBwnw/QmZNzhOZVQIQKuqF5FzwiPJuZ9NRUTtD/XgWbI4WMQVeiB8y4WHQ/E4p3zNgJbEJwXd6li0Kbhnb4M/ouj7WOQacM3OfExXGofpRyzn/H0O8qiFx0GpIeZ13jvbZ28k3oP6CMlkyYk6iwcqFFhXzC8W6CySyFu0QKCQM=

Is there a way to change how Visual Studio Code's Coq extension displays
the differences in its ProofView pane? The default is to use italics
for intra-hypothesis changes, and I'd rather that be something more
visible, either bold or a background color change.

Thanks,
Jonathan

[Coq-Club] how to change proof view diff appearance in Visual Studio Coq extension?, jonikelee AT gmail.com, 05/08/2020
- Re: [Coq-Club] how to change proof view diff appearance in Visual Studio Coq extension?, jonikelee AT gmail.com, 05/09/2020