Update website with Mini-map stuff

README.md

@@ -17,6 +17,7 @@ The primary developer is [Simon Edwards](mailto:[email protected]). Extraterm
 * Supports Linux and macOS, and on Windows WSL, CMD, and PowerShell
 * Built in SSH client
 * Images in terminal
+* Mini-map
 * 24 bit color
 * Color emoji on all platforms
 * Font ligatures
@@ -32,7 +33,7 @@ The primary developer is [Simon Edwards](mailto:[email protected]). Extraterm
 * Shell integration; can isolate and 'frame' command output. (bash, zsh and fish supported)
 * Easy uploads and downloads using the shell integration
 * Previous command output can be used as input for new commands
-* Supports iTerm2 and TextMate themes
+* Supports iTerm2 themes
 * [MIT license](LICENSE.txt)
 
 See the more detailed [features list](https://extraterm.org/features.html).

docs/_layouts/home.html

@@ -61,7 +61,7 @@
     </style>
     <script>
       var selectedSlide = 0;
-      var NUMBER_OF_SLIDES = 4;
+      var NUMBER_OF_SLIDES = 5;
       var run = true;
 
       window.addEventListener("load", function() {
@@ -77,7 +77,7 @@
         for (var i=0; i<NUMBER_OF_SLIDES; i++) {
           var selector = document.getElementById("slide_selector_" + i);
           selector.addEventListener("click", (function(i) {
-            selectSlide(i);  
+            selectSlide(i);
           }).bind(null, i));
         }
 
@@ -117,7 +117,7 @@
     <div id="container">
       <div class="inner">
         {% include navigation.ext %}
-            
+
         <header class="homepage">
           <div id="main-title">
             <h1>Extraterm.</h1>
@@ -134,6 +134,7 @@ <h2>The swiss army chainsaw of terminal emulators</h2>
           <img id="slide_1" class="slide" src="command_palette_450.png" width="800" height="450" />
           <img id="slide_2" class="slide" src="split_450.png" width="800" height="450" />
           <img id="slide_3" class="slide" src="show_image_450.png" width="800" height="450" />
+          <img id="slide_4" class="slide" src="minimap_450.png" width="800" height="450" />
         </div>
         <div id="slideshow-selector" class="slideshow-selector">
           <div id="slide_selector_0" class="selected"></div>
@@ -145,7 +146,7 @@ <h2>The swiss army chainsaw of terminal emulators</h2>
         <section id="main_content">
           {{ content }}
         </section>
-  
+
         <footer>
         {% if site.github.is_project_page %}
           {{ site.title | default: site.github.repository_name }} is maintained by <a href="{{ site.github.owner_url }}">{{ site.github.owner_name }}</a><br>

docs/features.md

@@ -27,6 +27,13 @@ Extraterm supports directly viewing richer content than just text. Works across
 ![Show image](show_image.png)
 
 
+# Mini-map
+
+A mini-map of the terminal session is shown on the right, making it easy to navigate through whatever output your terminal throws at you!
+
+![mini-map](extraterm_minimap.png)
+
+
 # Shell Integration
 
 Use the shell integration to unlock Extraterm’s power.

docs/index.md

@@ -10,6 +10,7 @@ Extraterm is more than just a terminal emulator. It provides a toolbox for worki
 * Supports Linux and macOS, and on Windows WSL, CMD, and PowerShell
 * Built in SSH client
 * Images in terminal
+* Mini-map
 * 24 bit color
 * Color emoji on all platforms
 * Font ligatures
@@ -32,6 +33,7 @@ Don't forget to {% include star.ext %} **Star** us on [GitHub](https://github.co
 
 
 ## News
+
 {% include news_list_short.ext %}
 [More news](news.html)