<div dir="ltr">Hi<br><div><div class="gmail_extra"><br><div class="gmail_quote">2014-10-08 7:26 GMT-04:00 Kalev Lember <span dir="ltr"></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Removed:<br>
  baobab.desktop<br></blockquote><div><br></div><div>Is there any particular reason to drop this? Also, shouldn&#39;t GNOME Tweak Tool be installed by default?  If we providing a classic session, having a good interface to enable/ disable specific extensions and some popular tweaks (adjusting fonts, enabling the global dark theme,  changing focus mode, mouse actions, extra keyboard shortcuts, not suspending when lid is closed etc) seems useful for workstation users. <br><br></div><div>Rahul <br></div></div></div></div></div>