<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>MATE on iMil.net</title>
    <link>http://imil.net/blog/tags/mate/</link>
    <description>Recent content in MATE on iMil.net</description>
    <generator>Hugo</generator>
    <language>en-us</language>
    <lastBuildDate>Mon, 28 May 2018 07:36:21 +0000</lastBuildDate>
    <atom:link href="http://imil.net/blog/tags/mate/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>MATE desktop fixes (updated)</title>
      <link>http://imil.net/blog/posts/2018/mate-desktop-fixes/</link>
      <pubDate>Mon, 28 May 2018 07:36:21 +0000</pubDate>
      <guid>http://imil.net/blog/posts/2018/mate-desktop-fixes/</guid>
      <description>&lt;p&gt;Last week I upgraded my &lt;a href=&#34;https://linuxmint.com/edition.php?id=220&#34;&gt;Linux Mint 18 MATE&lt;/a&gt; desktop distro to &lt;a href=&#34;https://linuxmint.com/rel_sylvia_mate.php&#34;&gt;18.3&lt;/a&gt;. With the massive progresses GNU/Linux has done in the desktop, those kind of upgrades use to be simple tasks and no more hassle is to be expected. Except this time where I had several a GUI-related annoyances.&lt;/p&gt;&#xA;&lt;h3 id=&#34;1-mate-panel-transparency&#34;&gt;1. MATE panel transparency&lt;/h3&gt;&#xA;&lt;p&gt;I recently became addicted to &lt;a href=&#34;https://www.reddit.com/r/unixporn/&#34;&gt;/r/unixporn&lt;/a&gt; and made myself a &lt;a href=&#34;https://www.reddit.com/r/unixporn/comments/8lr4n5/mate_rofi_is_the_dope/&#34;&gt;shiny modern desktop&lt;/a&gt; made of &lt;em&gt;MATE&lt;/em&gt; and &lt;a href=&#34;https://github.com/DaveDavenport/rofi&#34;&gt;rofi&lt;/a&gt;. This desktop use the &lt;a href=&#34;https://github.com/horst3180/arc-theme&#34;&gt;Arc-Darker&lt;/a&gt; theme which used to work nicely with &lt;code&gt;mate-panel&lt;/code&gt; version 1.14 but was messing transparency with version 1.18, the one shipped with &lt;em&gt;Mint 18.3&lt;/em&gt;.&lt;/p&gt;</description>
    </item>
  </channel>
</rss>
