On Fri, Feb 19, 2016 at 09:51:18PM +0900, Kazunobu Kuriyama wrote: > Thank you all. > > I owe much to you for making a thing usable on Linux out of a series of > zipped garbage:) > > Marius Gedminas, you always kindly wrote detailed reports with informative > pictures. Not only that, I remember your interesting, useful script, too. > You’ve kept my eyes open to what I was unable to see by myself. I’d like > to dedicate the diff between the latest and the first patch to you :) > > SungHyun Nam, your comment was the only one that witnessed my patches were > usable. I cannot describe how much your comment has been encouraging me :) > > Christian Brabandt, I believe, since you’ve joined this thread, the > momentum of the development has been kept; otherwise, my attempt would be > abandoned with the failed patches :) > > As Marius reported, there may still be (no, must be) unresolved issues > unknown to us. So, someone who finds anything wrong with this GTK+ 3 GUI, > please let us know. > > Marius, I’m preparing a patch to resolve the issue you reported, but cannot > do that in hours. Till then, could you please check what the CSS > parameters for GtkDrawingArea are in the GTK+ theme you use?
I use Adwaita, which is the default GNOME 3 theme (and I think also the
default GTK+ 3 theme).
The usual keys (Ctrl+Shift+I/Ctrl+Shift+D) do not open the GTK+
inspector in gvim.
Curiously: if I run 'GTK_DEBUG=interactive gvim' and then right-click,
the border does not turn black.
Anyway, I've now realized that the GTK+ inspector apparently doesn't
show the CSS rules that come from the theme, and I'm not quite sure
where to check what.
Marius Gedminas
--
I have a truly marvellous patch that fixes the bug which this
signature is too narrow to contain.
-- Avi Kivity
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: Digital signature
