Using GTK3 CSS styles on gvim

After successfully compiling and installing gvim 8.0.16 from source with gtk3 support on CentOS 7, I managed to set some style in ~/.config/gtk-3.0/gtk-css. For instance, the background of widgets above the edit window can be customized like so:

@define-color bg_color #ffd4a1;
* {
    background-color: @bg_color;
}

This adjustment worked well for me. However, there are still some appearance details that I'd like to tweak, such as adding a 1px border around popup menus. The challenge arises when trying to find the appropriate rule to implement border: 1px solid black; since accessing the complete application's widget tree seems elusive.

In the past, with X11, I would have utilized editres(1) to obtain the comprehensive widget tree. Unfortunately, GTK programs do not support the editres protocol. Instead, it seems that the "GTK+ Inspector" is the equivalent tool. By running gvim with GTK_DEBUG=interactive gvim, I attempted to use the inspector but found it difficult to extract meaningful hierarchy information. The "Objects" tab only displayed "GtkSettings 0x219cb50" without much clarity. Even selecting a gvim widget with the cross-hair didn't yield any results. Ideally, I would expect to locate the GtkApplication top-level widget for further exploration. What am I overlooking?

https://i.sstatic.net/1ShWD.png

Answer №1

After over 5 years, I decided to give gvim version 8.2.4485 another try and was pleasantly surprised to find a navigable widget tree in the "Objects" tab.

It seems like the issue I previously encountered with either gvim or the GTK3 library has now been fixed.

Similar questions

If you have not found the answer to your question or you are interested in this topic, then look at other similar questions below or use the search

How to Apply CSS Class When Hovering in CSS

Is it possible for an HTML element to automatically inherit properties of a pre-written CSS class when I hover over it, without using Javascript? ...

Generate an overlay div that does not impact the content of the top div

My website has a specific requirement where I need an overlay div to cover the entire body when hovering over the menu. <header><menu><ul><li class="new-menu">menu1</li></menu></header> <div id="myNav" class= ...

Struggling with overlaying Bootstrap modals on top of each other

This idea is inspired by the topic Multiple modals overlay I am working on developing a folder modal that allows users to either 1) open an existing file or 2) create a new file within each folder modal. To see how it functions, please run the code below ...

Understanding CSS and the implementation of media queries

Imagine having this scenario /* css for elements section #1 in page css for elements section #2 in page */ @media screen and (max-width: 960px) { /* redefines/alters CSS for elements in section #1 in page */ } @media screen and (max-width: 700px) { /* r ...

Is there a way to showcase English and CJK text vertically with CSS?

This particular issue was first discussed 14 years ago on Stack Overflow, but a definitive solution still remains elusive. My goal is to have both CJK and Latin characters displayed vertically, with their bottoms facing the right side. While writing-mode ...

Internet Explorer 9 is failing to acknowledge CSS styling

Encountering a strange issue with IE9 where it seems to be ignoring specific CSS rules on its own, despite other browsers like IE8, IE10, Firefox, and Chrome displaying the content correctly. The CSS is definitely being loaded with "text/css" MIME type. ...

Element translation results in the expansion of the page's width

I am in need of assistance with translating multiple divs stacked on top of each other so that each layer slides away. I have attempted to use animate.css for animation and jQuery to detect when the animation ends and add a class to hide the container to p ...

Clear out the classes of the other children within the identical parent division

I'm currently in the process of replacing my radio circles with div elements. I've successfully implemented the functionality for selecting options by clicking on the divs, as well as highlighting the selected div. However, I'm facing trou ...

The crossIcon on the MUI alert form won't let me close it

I am facing an issue with my snackBar and alert components from MUI. I am trying to close the alert using a function or by clicking on the crossIcon, but it's not working as expected. I have used code examples from MUI, but still can't figure out ...

Displaying multiple spaces within an HTML select list <option></option> can be achieved by including the appropriate number of non-breaking spaces (&

Here is the jsfiddle link: http://jsfiddle.net/a3LwW/4/ I am facing an issue with multiple spaces in the content of <option> Although jQuery's val() returns the correct value, the browser renders the <option> as if there is only a single ...

Overriding default styles in an Angular component to customize the Bootstrap navbar

Is there a way to alter the color of the app's navbar when a specific page is accessed? The navbar is set in the app.component.html file, and I am attempting to customize it in a component's css file. app.component.html <nav class="navbar na ...

Paypal Payment Plans on a Monthly Basis Utilizing the Bootstrap Pricing Slider

I came across this fantastic Bootstrap Pricing Slider that I found originally at Within my Bootstrap Pricing Slider, there is a "total amount" calculated after some math, resulting in a final score. The slider includes a "Process" button which currently ...

What is the most effective way to create these lines using CSS?

Is there a way to create the background image shown in the link below? https://i.sstatic.net/YB4N7.png ...

Images for navigating forward and backward in a jQuery datepicker

I'm experimenting with setting custom images for the previous and next month buttons. I attempted to utilize the prevText / nextText options of the datepicker in order to include a span with my own CSS class definition. However, this resulted in the c ...

Ways to display the main image on a blog post

This piece of code is designed for displaying the relevant post associated with wp_ai1ec_events function display_event($atts ) { global $wpdb; $event = $wpdb->get_results("SELECT * FROM wp_ai1ec_events ORDER BY start"); ...

Bootstrap table with set width and text wrapping in td elements

I'm currently working with Bootstrap CSS to create a fixed-length table where the contents inside each cell (td) can wrap into multiple lines if necessary. Below is a snippet of my code that's not functioning as intended. The content within the ...

Enhance Vaadin 14: Automatically adjust TextArea size when window is resized

Using Vaadin 14.1.19 in a project called "My Starter Project," I attempted to create a TextArea that supports multiple lines. Initially, everything seemed fine, but upon resizing the TextArea, it failed to adjust the number of visible lines. Here is the co ...

MaterialUI AppBar is missing a crucial element

I recently dived into the world of Material UI for React and it's been a good experience so far. However, I've noticed a white gap in my header that I can't seem to get rid of. https://i.sstatic.net/zAZJu.png Here is the snippet from my in ...

Tips for organizing child cards within a parent card using Bootstrap

I'm trying to set up my child card within the parent card to look like the image provided. I'm using Bootstrap 4 and the card_deck class. https://i.sstatic.net/ihWrb.png However, I'm facing difficulties in getting the layout to match the p ...

Achieve full height for div without causing it to expand (utilize scrollbar for overflow)

I am looking to achieve a specific layout for my webpage, as shown in the image below: The layout depicted in the image above is created using the following HTML and bootstrap classes: <div className="ContentWrapper d-flex mh-100 flex-row h-10 ...