111 reputation
2
bio website yyc-arch.org
location
age 22
visits member for 2 years, 8 months
seen Dec 7 at 15:08

Oct
29
awarded  Supporter
Mar
10
answered How do I configure fcitx googlepinyin IM?
Apr
23
awarded  Student
Apr
3
comment How to remove the title bar of a window in js/lg/extension under gnome-shell?
Sorry if I didn't state my question clearly. What I want to do is to tell gnome-shell(mutter) not to put a title bar in an gnome-shell extension. I don't mean to tell random wm when I don't want to have a title bar. The extension (or gnome-shell) IS the wm, or at least can control the wm directly and what I want to know is whether there is a mutter api for this. meta_window_get_frame() should return the decoration frame of the window (which I suppose can help with what I want to do), but it doesn't seem to be accessible through gi.
Apr
3
comment How to remove the title bar of a window in js/lg/extension under gnome-shell?
I c. I will take it as a workaround then (since changing the window type might has other side effect, can be noticed by client and might be theme-dependent, correct me if I am wrong.). Yes, Wnck (and wnck3) has gir and can be accessed in gnome-shell js.
Apr
3
comment How to remove the title bar of a window in js/lg/extension under gnome-shell?
Well, my problem is not how to filter the window I want to deal with (which can be done easily in an extension), but how to apply the action I want. Is it possible to use either devilspie or libwnck (libwnck3 maybe) to modify the decoration of window? I have looked through the documentation of libwnck3 and didn't find any api on that (thx for pointing out this wonderful library though =P). I suppose what I need require a metacity/mutter-only api?
Apr
3
asked How to remove the title bar of a window in js/lg/extension under gnome-shell?