Marco Hinz e73a0114f3 Add sy#buffer_is_active()
Mostly an API function that can be used by other plugins.
2016-01-15 12:56:21 +01:00
..
2015-12-09 00:31:59 +01:00
2016-01-15 12:56:21 +01:00