Closed GoogleCodeExporter closed 8 years ago
Original comment by fiddloso...@gmail.com
on 18 Oct 2008 at 11:16
The plugin system (coming soon) will allow you to define a plugin that provides
this
functionality (and much more). So I'm closing this issue. Stay tuned...
Original comment by fiddloso...@gmail.com
on 3 Jan 2009 at 7:11
Then a trivial implementation of
clip
could extract a marked block, and print it on stdout. Of course, this would be just one of many uses for such a general element. Also \extract{} is the first thing that came to mind, I'm sure this could be represented much more elegantly.