Support basic UI customisation via a User autocommand

This commit is contained in:
Ben Jackson 2020-07-11 16:49:48 +01:00
commit 2c5937c2c1
6 changed files with 69 additions and 14 deletions

View file

@ -639,3 +639,7 @@ def GetUnusedLocalPort():
port = sock.getsockname()[ 1 ]
sock.close()
return port
def WindowID( window, tab ):
return int( Call( 'win_getid', window.number, tab.number ) )