<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
<title></title>
</head>
<body>
<p style="margin: 0px;"><span> </span></p>
<p style="margin: 0px;"> </p>
<div style="margin: 5px 0px 5px 0px;">
<br/>
Martin <lazarus@mfriebe.de> hat am 13. Mai 2011 um 14:44 geschrieben:<br/>
<br/>
<blockquote style="margin-left: 0px; padding-left: 10px; border-left: solid 1px blue;" type="cite">
[...]<br/>
IMHO it should copy (or cut) to clipboard => but as indicated via different shortcut/command.
</blockquote>
</div>
<p style="margin: 0px;"> </p>
<p style="margin: 0px;">Yes. Remove method/procedure. Or maybe better two functions: Copy- and Cut method/procedure.</p>
<p style="margin: 0px;"> </p>
<div style="margin: 5px 0px 5px 0px;">
<blockquote style="margin-left: 0px; padding-left: 10px; border-left: solid 1px blue;" type="cite">
<br/>
It does therefore need a different clipboard format (a mixed one plain text / codetool-format). The plain text would allow to paste into other apps<br/>
(SynEdit does the same for copy with fold info / or copy column-mode selection)<br/>
<br/>
If required, synEdit could get a callbackon paste => so codetool can check for the special format, and intercept it.<br/>
At some future point, I can provide insight, how this could even include foldstate info.<br/>
<br/>
</blockquote>
</div>
<p style="margin: 0px;">Yes, a special format would be useful.</p>
<p style="margin: 0px;"> </p>
<p style="margin: 0px;">The format must contain </p>
<p style="margin: 0px;">- the source of the headers, because they might contain comments and ifdefs</p>
<p style="margin: 0px;">- the implementations</p>
<p style="margin: 0px;">- the source position. This is needed to resolve the identifiers, which could be used in a later extension to automatically extend the uses section of the target unit.</p>
<br/>
<p style="margin: 0px;"> </p>
<p style="margin: 0px;">Mattias</p>
<p style="margin: 0px;"> </p>
</body>
</html>