##// END OF EJS Templates
don’t trigger call tips with no shell channel...
MinRK -
r16969:2223e7ff
Show More