From 00490c07dd13c2efeff44fb88c7d8255e8e5a05a Mon Sep 17 00:00:00 2001 From: hallgren Date: Sun, 30 Sep 2012 19:53:57 +0000 Subject: [PATCH] gfse: small linearization type display adjustment --- src/www/gfse/editor.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index 56520018d..381cf33a7 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -1297,7 +1297,7 @@ function draw_lins(g,ci) { var fty=function_type(g,f.fun) var linty=lintype(g,conc,igs,dc,fty) if(fty) - fn.title=f.fun+": "+show_type(fty) + fn.title="fun "+f.fun+": "+show_type(fty) +"\nlin "+f.fun+": "+show_lintype(linty) var l=[fn] for(var i=0; i