From 83d85df26e68687ca124c3affb42e246fd77188a Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Thu, 25 May 2017 08:38:11 +0100 Subject: Add an update-option command to update range-descs/line-descs options update-option will make the range-descs and line-descs option up to date with the latest buffer modfications, changing the ranges/lines to where they moved according the modifications since the timestamp on the option. --- src/option_types.hh | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/option_types.hh') diff --git a/src/option_types.hh b/src/option_types.hh index 81dca3bd..56b32e99 100644 --- a/src/option_types.hh +++ b/src/option_types.hh @@ -218,6 +218,11 @@ inline bool option_add(WorstMatch, StringView) throw runtime_error("no add operation supported for this option type"); } +inline void option_update(WorstMatch, const Context&) +{ + throw runtime_error("no update operation supported for this option type"); +} + template inline void option_from_string(StringView str, LineAndColumn& opt) { -- cgit v1.2.3