1. 2014-09-26 Re: [ jEdit-users ] copy folded lines jedit-use czinege viktor 2. 2014-09-25 Re: [ jEdit-users ] copy folded lines jedit-use Robert Schwenn 3. 2014-09-25 [ jEdit-users ] copy folded lines jedit-use czinege viktor 4. 2014-09-18 [ jEdit-users ] copy folded lines jedit-use czinege viktor