From ea9db4d78ae5a251cd571ec69462f9d54b5c30c1 Mon Sep 17 00:00:00 2001
From: Jan Michel <j.michel@gsi.de>
Date: Sun, 4 Aug 2013 16:16:17 +0200
Subject: [PATCH] alternate stylesheet for jtageditor

---
 tools/jtageditor.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/jtageditor.pl b/tools/jtageditor.pl
index 3da8ece..55c9cf1 100755
--- a/tools/jtageditor.pl
+++ b/tools/jtageditor.pl
@@ -495,7 +495,7 @@ sub initPage {
 <HEAD>
 <title>JTAG Editor</title>
 <link href="../layout/styles.css" rel="stylesheet" type="text/css"/>
-<link href="../layout/jtageditor.css" rel="stylesheet" type="text/css"/>
+<link href="../layout/jtageditor.css" rel="stylesheet" title="Default" type="text/css"/>
 <link href="../layout/jtageditor_blue.css" rel="alternate stylesheet" title="Light Blue" type="text/css"/>
 EOF
   printJavaScripts();
-- 
2.43.0

