[Geany-Devel] f403e7e (PR#188) - Maintain edit history on document reload

Thomas Martitz kugel at xxxxx
Thu Jun 25 06:23:02 UTC 2015


Am 25.06.2015 um 08:17 schrieb Lex Trotman:
> [...]
>> Right, makes some sense too.
>>
>> However, what to do in this case: the file is saved (clearing the red) and
>> immediately reloaded? Make it red again or keep it clear?
> Well reload syncs file and buffer, so its cleared again.  Seems right.
>

Sorry, I misread your previous mail (read it as "reload should make it 
red") since you earlier referred to reload as edit action .

Best regards


More information about the Devel mailing list