On Nov 28, 2013, at 1:58 PM, Herbert Schulz wrote: > TikZ Editor! :-) > > And it looks pretty nice. "TikzEdt is currently (regrettably) only natively available for Windows." Regretful regards --schremmer