Hmm, new features in gnome-terminal 3.18.2?pic.twitter.com/Cw5kBNesVe
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@mgedmin hrmm symbolic icon on fedora. Wonder if it's a downstream patch.
@hergertme It's a bug. No idea how to reproduce it. Alt-F2 r fixes. Video driver fault maybe? Corrupt glyph cache?
@hergertme Whoops, I thought you were replying tohttps://twitter.com/mgedmin/status/666509441563500544 …
@hergertme Uh, Ubuntu 15.10 has gnome-icon-theme-symbolic version 3.12, which seems ... old?
@hergertme But no, that's the latest upstream version if I can believe https://github.com/GNOME/gnome-icon-theme-symbolic/releases …
@hergertme Maybe a Fedora patch? Git master uses "list-add", not "list-add-symbolic": https://github.com/GNOME/gnome-terminal/blob/b2fd6a0a25ac65e3ee835bfd531443b20a19e901/src/terminal-window.c#L2223 …pic.twitter.com/kvr0Co04R7
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.