From 58c3e3db85d55cc9b746732583df83c19a9b68e0 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Fri, 30 Nov 2012 10:56:42 +0000 Subject: Syntax editor: in-place replacement of functions When at a non-leaf node, refinements with identical type signatures are highlighting and can re placed without destroying the children. If not, the refinement is greyed and the user is asked to clear the current subtree first if they wish to replace it. This aspect of the UI should be polished, but at least it is obvious. Also, some substantial optimizations can still be made to cache the processed type signatures (which determine what can be replaced in-place) --- src/www/syntax-editor/editor.css | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/www/syntax-editor/editor.css') diff --git a/src/www/syntax-editor/editor.css b/src/www/syntax-editor/editor.css index 2257db6e8..f36898d5c 100644 --- a/src/www/syntax-editor/editor.css +++ b/src/www/syntax-editor/editor.css @@ -73,6 +73,10 @@ body.syntax-editor { font: 0.9em sans-serif; background: white; } +.refinement.disabled +{ + opacity: 0.5; + } #debug { -- cgit v1.2.3