write_buffer: consider buffer as saved only if we used it's filename

This commit is contained in:
Maxime Coste 2013-03-13 18:51:36 +01:00
parent 0f957b3743
commit 17f7607a30

View File

@ -146,6 +146,8 @@ void write_buffer(const CommandParameters& params, Context& context)
: parse_filename(params[0]);
write_buffer_to_file(buffer, filename);
if (filename == buffer.name())
buffer.notify_saved();
}