Pierre-Yves Bigourdan

> If you download the standalone Eclipse SDK (http://download.eclipse.org/eclipse/downloads/drops4/R-4.19-202103031800/download.php?dropFile=eclipse-SDK-4.19-win32-x86_64.zip), launch it in a new workspace and install the Planet themes via the update site (https://raw.githubusercontent.com/PyvesB/eclipse-planet-themes/updatesite), could you please confirm that...

It would be useful to check the following scenario : * with the standalone Eclipse SDK, check that the issue does not happen on a non-Java file. * after installing...

Hmmm, when I checked back in April, I couldn't reproduce on a standalone Eclipse SDK. I've unfortunately not got much time to spare at the moment, if someone wants to...

Thinking out loud, I'm wondering whether this is not the same root cause as https://bugs.eclipse.org/bugs/show_bug.cgi?id=565754 which I reported a while back.

I've decided to drop the flat scrollbars (5a69cebfe3cdba9eda7c685467cfd0f9ca60603c). This issue should no longer happen on version 0.3.0 of the plugin.

Hello @komaedalove! 👋🏻 Thanks for the suggestion! What would be the exact use case? It seems odd to me that you would want to disable the extension on a specific...

Okay, fair enough! Quite busy at the moment, so I'll probably not pick this up myself in the coming weeks, but any passer-by can also contribute 😉

Hello @Openstreetmapler 👋🏻 > I want you to This is a free and open source project, contributing a fix via a pull request will in general be better received than...

The extension really doesn't do much underneath the hood, it basically adds standard CSS filters (https://www.w3schools.com/cssref/css3_pr_filter.php) to the video element in the HTML page. It would be useful to check...

@BigTallahasee will be taking over maintenance of this project. Please join me in welcoming him and wishing him good luck! If any other developers are interested in helping out as...