joerg e097da870f Don't use inline when the code can't deal with inlining not happening.		2020-04-12 19:49:18 +00:00
..
patch-src_editor.c