From 435f4fce7f9ba1a600eed120ea6bd0ac7aa616ab Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 8 Sep 2020 16:18:24 +0200
Subject: [PATCH] Cleaner way to select plugin-kernel tab
---
_data/tabs.yml | 4 ++++
_layouts/feature.html | 4 ++--
html/acsl.html | 4 ++--
html/gui.md | 2 +-
html/kernel-plugin.html | 2 +-
html/kernel.html | 2 +-
6 files changed, 11 insertions(+), 7 deletions(-)
diff --git a/_data/tabs.yml b/_data/tabs.yml
index d5032da2..d53e65e6 100644
--- a/_data/tabs.yml
+++ b/_data/tabs.yml
@@ -1,8 +1,12 @@
- name: Plugins
link: /html/kernel-plugin.html
+ id : kernel-plugin
- name: Kernel
link: /html/kernel.html
+ id : kernel
- name: GUI
link: /html/gui.html
+ id : gui
- name: ACSL
link: /html/acsl.html
+ id : acsl
diff --git a/_layouts/feature.html b/_layouts/feature.html
index 33ee8311..e91caefc 100644
--- a/_layouts/feature.html
+++ b/_layouts/feature.html
@@ -15,11 +15,11 @@ title: Kernel & Plugins - Frama-C
<div class="wrap">
{% for tab in site.data.tabs %}
<span>
- <a class="tabLink {% if page.active==forloop.index %}active locked{% endif %}" href="{{ tab.link }}">{{ tab.name }}</a>
+ <a class="tabLink {% if page.active==tab.id %}active locked{% endif %}" href="{{ tab.link }}">{{ tab.name }}</a>
</span>
{% endfor %}
- {% if page.active == 1 %}
+ {% if page.active == "kernel-plugin" %}
<span>
<div class="tabOptions">
<div class="pluginSearch">
diff --git a/html/acsl.html b/html/acsl.html
index bf783aed..2b42d943 100755
--- a/html/acsl.html
+++ b/html/acsl.html
@@ -1,8 +1,8 @@
---
layout: feature
css: plugin
-title: ACSL
-active: 4
+title: ACSL - Frama-C
+active: acsl
---
<h1>ANSI/ISO C Specification Language</h1>
diff --git a/html/gui.md b/html/gui.md
index 103841e8..44dd29db 100644
--- a/html/gui.md
+++ b/html/gui.md
@@ -2,7 +2,7 @@
layout: feature
css: plugin
title: Graphical User Interface (GUI) - Frama-C
-active: 3
+active: gui
---
If the Frama-C kernel is the heart of the platform,
diff --git a/html/kernel-plugin.html b/html/kernel-plugin.html
index f7d1cffe..c592d797 100755
--- a/html/kernel-plugin.html
+++ b/html/kernel-plugin.html
@@ -2,7 +2,7 @@
layout: feature
css: plugin
title: Kernel & Plugins - Frama-C
-active: 1
+active: "kernel-plugin"
---
diff --git a/html/kernel.html b/html/kernel.html
index 757b0770..8ab71e3b 100755
--- a/html/kernel.html
+++ b/html/kernel.html
@@ -2,7 +2,7 @@
layout: feature
css: plugin
title: Kernel & Plugins - Frama-C
-active: 2
+active: kernel
---
<p>The Frama-C platform allows checking security, verifying requirements and
--
GitLab