[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