Bram Moolenaar
86edef664e
patch 7.4.1557
Problem: Windows cannot be identified.
Solution: Add a unique window number to each window and functions to use it.
2016-03-13 18:07:30 +01:00
..
2016-02-20 15:47:01 +01:00
2016-03-13 18:07:30 +01:00
2016-03-12 12:57:59 +01:00
2016-03-12 12:57:59 +01:00
2015-06-19 18:48:41 +02:00
2016-02-01 22:37:05 +01:00
2015-11-19 20:38:09 +01:00
2016-02-20 15:47:01 +01:00
2016-01-09 13:23:54 +01:00
2016-03-12 12:57:59 +01:00
2016-02-20 15:47:01 +01:00
2015-04-13 14:22:40 +02:00
2015-12-03 20:18:24 +01:00
2015-11-02 13:29:53 +01:00
2015-08-11 20:34:49 +02:00
2016-02-21 23:02:49 +01:00
2015-08-11 20:34:49 +02:00
2015-11-02 13:29:53 +01:00
2015-04-13 12:43:06 +02:00