aah, ok cool makes sense :)<br><br clear="all">----<br>Jason &quot;moofang&quot; Lim Yuen Hoe<br><a href="http://yuenhoe.co.cc/">http://yuenhoe.co.cc/</a><br><br>
<br><br><div class="gmail_quote">On Sat, Oct 24, 2009 at 4:22 AM, Chani <span dir="ltr">&lt;<a href="mailto:chanika@gmail.com">chanika@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><div></div><div class="h5">On October 23, 2009 01:18:11 Yuen Hoe Lim wrote:<br>
&gt; &gt; you really work like that?? one file at a time? o.0<br>
&gt;<br>
&gt; No no that&#39;s not what I meant xD And no I don&#39;t and can&#39;t work like that :)<br>
&gt; I meant being able to have all the files open at the same time with unsaved<br>
&gt; changes strewn all over the place - but being able to save the files one at<br>
&gt; a time. ie - can the user decide *when* to save and *which* files exactly<br>
&gt;  to save. Let&#39;s say I have file a b c and d open and all have unsaved<br>
&gt;  changes. Can I choose to save only file b and c to disk and leave the<br>
&gt;  stuff in a and d unsaved, as you could in Kate and any other regular<br>
&gt;  tabbed editor?<br>
&gt;<br>
&gt; the actual files should be saved to disk automagically so that the user<br>
&gt;<br>
&gt; &gt; doesn&#39;t<br>
&gt; &gt; lose work if there&#39;s a crash or power loss or something.<br>
&gt;<br>
&gt; I guess this means the answer is no? I don&#39;t really have hard objections<br>
&gt; against this, but I do sometimes find it convenient to be able to leave a<br>
&gt; file with changes unsaved and be able to simply revert by reloading the<br>
&gt;  file from disk later if I want to. I know you could achieve a similar<br>
&gt;  effect with save-point, but you don&#39;t always know you&#39;re doing something<br>
&gt;  awful until you&#39;re several files worth of changes in :)<br>
&gt;<br>
<br>
</div></div>you could add a feature to the save-point so that you could save or revert<br>
only certain files. &quot;git checkout foo.cpp&quot; isn&#39;t any harder than reverting an<br>
unsaved file - heck, it&#39;s easier, because you don&#39;t have to worry about losing<br>
&quot;unsaved&quot; changes in a crash or anything.<br>
<br>
but how would you represent that nicely in the UI?<br>
for saving it could be easy, just a checkbox beside each file that&#39;s checked by<br>
default. for reverting a file that hasn&#39;t been checked in (&quot;saved&quot;), it could<br>
be the same UI as in regular editors.<br>
<br>
for the more advanced feature of reverting one file to an arbitrary save-point<br>
(say when you check in some stuff and then realise one of those changes was a<br>
mistake)... well, this is outside of what&#39;s offered by normal editors, and<br>
depends on how the timeline thing and reverting the whole codebase to a<br>
previous save-point works. I haven&#39;t looked at that.<br>
<br>
but preserving the &quot;save only these files&quot; and &quot;revert this to the last save&quot;<br>
parts of regular editing is no problem. remember, the version on disk is the<br>
&quot;unsaved&quot; version, with the benefit of not being lost if something goes wrong.<br>
the versions committed to git are the &quot;saved&quot; versions, with the benefit of<br>
being able to travel back and forth in time between those save-points, and<br>
have other information associated with them.<br>
<br>
we&#39;re completely replacing save-to-disk with commit-to-git. we don&#39;t have to<br>
lose anything in the process, but we gain a lot.<br>
<div><div></div><div class="h5"><br>
--<br>
This message brought to you by eevil bananas and the number 3.<br>
<a href="http://www.chani3.com" target="_blank">www.chani3.com</a><br>
</div></div><br>_______________________________________________<br>
Plasma-devel mailing list<br>
<a href="mailto:Plasma-devel@kde.org">Plasma-devel@kde.org</a><br>
<a href="https://mail.kde.org/mailman/listinfo/plasma-devel" target="_blank">https://mail.kde.org/mailman/listinfo/plasma-devel</a><br>
<br></blockquote></div><br>