kicad-developers team mailing list archive

[Marco Ciampa <ciampix@xxxxxxxxx>]

On Mon, Jun 05, 2017 at 05:37:32PM -0500, José Ignacio wrote:
> Menu icons are disabled by default in gnome 3 in an effort to make it look
> more like an Apple product. You can enable them (on gtk 3.10+) with:
> 
> gsettings set org.gnome.settings-daemon.plugins.xsettings overrides
> "{'Gtk/ButtonImages': <1>, 'Gtk/MenuImages': <1>}"

So the 

Preference->Icon options->Icons in menu

is there for what?

TIA

Regards,

--


Marco Ciampa

I know a joke about UDP, but you might not get it.

------------------------

 GNU/Linux User #78271
 FSFE fellow #364

------------------------