samer@0: % ainsert - Arrow which does whatever you write in the text box samer@0: % samer@0: % ainsert :: expr(arrow(A,B,S)) -> arrow(A,B,S). samer@0: % samer@0: % expr(T) denotes the type of strings which evaulate to a value of type T. samer@0: % This arrow provides a text box initialised to the given string. samer@0: % The arrow behaves like the arrow created by evaluating the expression. samer@0: % You can type a new expression at any time and the arrow will switch samer@0: % behaviour. samer@0: samer@0: function o=ainsert(a0,varargin) samer@0: o=(aid + esender('init',a0,varargin{:}))*aswitch(evalin('base',a0)); samer@0: end