hi, on (probably last) linux mint, menu icons work well and are 100% controlled t the preference option.
cheers Fabrizio On Tue, Jun 6, 2017 at 9:14 AM, Marco Ciampa <[email protected]> wrote: > 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 > > ------------------------ > > > _______________________________________________ > Mailing list: https://launchpad.net/~kicad-developers > Post to : [email protected] > Unsubscribe : https://launchpad.net/~kicad-developers > More help : https://help.launchpad.net/ListHelp >
_______________________________________________ Mailing list: https://launchpad.net/~kicad-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~kicad-developers More help : https://help.launchpad.net/ListHelp
