Terminal formatting.
Bug #367758 reported by
dotancohen
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Zim |
Won't Fix
|
Wishlist
|
Unassigned |
Bug Description
In light of bug #367755 (No click "^$ " characters option) I think that an alternative solution to the situation in which a user may want to show terminal commands while allowing them to be freely copied without the terminal interface characters (specifically the $ character that begins each line) would be to have a formating option that looks like a terminal with the $ character. Zim could even autoformat this when it detects a line that begins with a $ character, much in the same way that [] characters are detected as checkmarks. Lines formatted in this way would be in a monospace white font on a black background, with the $ character at the beginning of each line.
To post a comment you must log in.
To me this is to specialized to build it in as a standard formatting, but it could be added as a plugin. Probably that should work by having an embedded textview or an embedded gtk-sourceview with shell script specific behavior.
This looks to me like an extension for the syntax highlighting request in bug #275714 and could be build on top of an implementation of that.
Of course it can be hacked in more directly without doing the embedded view. I will try to make the auto-formatting mechanism accessible to plugins in the python tree.