# HG changeset patch
# User wenzelm
# Date 1348663938 -7200
# Node ID 0d2f81eb7bf4d945ea9ecc2ef6011dbd263d086c
# Parent  7e6fc0254d230489491d10360ca89f5384179a78
obsolete;

diff -r 7e6fc0254d23 -r 0d2f81eb7bf4 src/Tools/Graphview/src/parameters.scala
--- a/src/Tools/Graphview/src/parameters.scala	Wed Sep 26 14:50:46 2012 +0200
+++ b/src/Tools/Graphview/src/parameters.scala	Wed Sep 26 14:52:18 2012 +0200
@@ -16,11 +16,6 @@
   val font_family: String = "IsabelleText"
   val font_size: Int = 16
 
-  //Should not fail since this is in the isabelle environment.
-  def tooltip_css(): String =
-    File.try_read(
-      Path.split(Isabelle_System.getenv_strict("JEDIT_STYLE_SHEETS")))
-  
   object Colors {
     val Filter_Colors = List(