jumpkick/graphviz-preview — pull request #1 by AdoPi (2014-09-19 17:41:54+00:00)
Title: Disable resizable property of textarea elements and make them readonly

They should not be modified in the example page.
The only operation which should be possible is to copy the code of an
example and past it into another buffer.