<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Firefox on Janik von Rotz</title>
    <link>https://janikvonrotz.ch/tags/firefox/</link>
    <description>Recent content in Firefox on Janik von Rotz</description>
    <generator>Hugo</generator>
    <language>en-us</language>
    <lastBuildDate>Mon, 20 Mar 2023 17:15:22 +0100</lastBuildDate>
    <atom:link href="https://janikvonrotz.ch/tags/firefox/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>Hide native tabs with Tree Style tabs for Firefox</title>
      <link>https://janikvonrotz.ch/2023/03/20/hide-native-tabs-with-tree-style-tabs-for-firefox/</link>
      <pubDate>Mon, 20 Mar 2023 17:15:22 +0100</pubDate>
      <guid>https://janikvonrotz.ch/2023/03/20/hide-native-tabs-with-tree-style-tabs-for-firefox/</guid>
      <description>&lt;p&gt;As the workspace for developers has moved almost entirely into the browser, browser extensions have become an integral part for customizing the workflow. Recently, I started to the use the Tree Style addons: &lt;a href=&#34;https://addons.mozilla.org/en-US/firefox/addon/tree-style-tab/&#34;&gt;https://addons.mozilla.org/en-US/firefox/addon/tree-style-tab/&lt;/a&gt;&lt;/p&gt;&#xA;&lt;p&gt;When using this extension, the native tab bar becomes obsolete. The following part of the post is an instruction on how to hide the native tab bar (which is a bit difficult).&lt;/p&gt;</description>
    </item>
    <item>
      <title>Update Hostfile with Chrome/Firefox Plugin</title>
      <link>https://janikvonrotz.ch/2014/03/10/update-hostfile-with-chromefirefox-plugin/</link>
      <pubDate>Mon, 10 Mar 2014 10:56:12 +0000</pubDate>
      <guid>https://janikvonrotz.ch/2014/03/10/update-hostfile-with-chromefirefox-plugin/</guid>
      <description>&lt;p&gt;Domain-ip mapping is essential in developing new websites as you have to test URLs without changing DNS entries.&lt;/p&gt;&#xA;&lt;p&gt;Yet I&amp;rsquo;ve always update the local host file which requires in most cases a restart of the browser. This is a busy an troublesome issue.&lt;/p&gt;&#xA;&lt;p&gt;Luckily there&amp;rsquo;s for everything a plugin, tool or script, this also goes for host file updates via Chrome/Firefox plugin.&lt;/p&gt;</description>
    </item>
  </channel>
</rss>
