Hi Thiago! If you use gtk_window_set_decorated() to remove the server-side title bar, you also invariably lose the resizable window borders as they are considered to be part of the "decoration".
We need the EXTENDED window style because it is materially different from all of the other styles. The most important difference is that it delegates non-client hit-testing to JavaFX, which is what makes this feature work in the first place. I'll look into options for rounded corners on Linux, but we need to make sure that it works out of the box. This means that we can't impose Linux-specific implementation requirements on application developers. On Wed, Oct 23, 2024 at 4:42 AM Thiago Milczarek Sayão <thiago.sa...@gmail.com> wrote: > > Hi Michael, > > Thank you for this effort. > > It would be nice to have a TRANSPARENT window type with the HeaderBar so it > would be possible to have rounded corners on Linux. > > I was going to suggest to not have a special window type (EXTENDED) at all > but then remembered the resize grips. Maybe they can be enabled another way? > Shouldn't they be present if the stage is resizeable? > > > I did an attempt on this here: > https://github.com/openjdk/jfx/pull/1022 > > It was an initial attempt, so don't mind it too much. I gave up because I > don't know how to do it on windows and I would have to sell my house to buy a > Mac :)
