Hao Deng 7276b182ea save pane id instead of index ... pane index '#P' will change when new pane added.		2018-05-23 22:13:37 -04:00
..
base	Do not push jumps implicitely in transient contexts	2018-05-14 08:23:00 +10:00
core	Insert spaces after line comment markers	2018-05-22 12:24:54 +01:00
extra	save pane id instead of index	2018-05-23 22:13:37 -04:00