Improve disable-while-typing script on Linux

Christian Rochacommitted parent 3198979e1d072f28a82b353a1c43bebe29fb28e985c5782Browse files
1 file changed+29−0

Rendering diff…