Add bindings for applying CSS from a string

garrigue / lablgtk

LablGTK 2 and 3: an interface to the GIMP Tool Kit

https://garrigue.github.io/lablgtk

Other

89 stars 40 forks source link

Add bindings for applying CSS from a string #134

Closed btj closed 2 years ago

btj commented 2 years ago

My goal is to address https://github.com/coq/coq/issues/12779

btj commented 2 years ago

The code I want to push to coq is https://github.com/btj/coq/commit/56726ed657061586af75d13e84570c246ffe8f89

btj commented 2 years ago

@ejgallego @garrigue Any chance you could have a look at this? All users of CoqIDE on MacOS are experiencing a sluggish UI because of https://github.com/coq/coq/issues/12779 . This PR would enable a simple fix for that bug.

garrigue commented 2 years ago

Sorry, the status of PRs is not always clear to me. This one was clearly ready to merge.

btj commented 2 years ago

Thanks! As soon as this lands in a release, I can submit https://github.com/btj/coq/commit/56726ed657061586af75d13e84570c246ffe8f89 as a Coq PR to fix https://github.com/coq/coq/issues/12779 .