---595574817-381784388-930104333=:12312
Content-Type: TEXT/PLAIN; charset=US-ASCII
This changes the ctrl-right arrow behavior slightly, but fixes the bug so
punctuation is not selected on a double click. ctrl-right arrow stops on
punctuation.
richie
---595574817-381784388-930104333=:12312
Content-Type: TEXT/PLAIN; charset=US-ASCII; name=patch
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.LNX.4.10.9906222218530.12312@chimera.acm.jhu.edu>
Content-Description:
Content-Disposition: attachment; filename=patch
PyBwYXRjaA0KSW5kZXg6IGZ2X1ZpZXcuY3BwDQo9PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09DQpSQ1MgZmlsZTogL3UyL2N2c3Jvb3QvYWJpL3NyYy90ZXh0L2Zt
dC94cC9mdl9WaWV3LmNwcCx2DQpyZXRyaWV2aW5nIHJldmlzaW9uIDEuMjE2
DQpkaWZmIC1yMS4yMTYgZnZfVmlldy5jcHANCjc1MWM3NTEsNzU4DQo8IA0K
LS0tDQo+IAkJCQ0KPiAJCQkvLyBOZWVkZWQgc28gY3RybC1yaWdodCBhcnJv
dyB3aWxsIHdvcmsNCj4gCQkJZm9yICg7IG9mZnNldCA8IHBnYi5nZXRMZW5n
dGgoKTsgb2Zmc2V0KyspDQo+IAkJCXsNCj4gCQkJICAgIGlmICghVVRfaXNX
b3JkRGVsaW1pdGVyKHBTcGFuW29mZnNldF0pKQ0KPiAJCQkJYnJlYWs7DQo+
IAkJCX0NCj4gCQkJDQo3NThhNzY2LDc2Nw0KPiAJCQkJZWxzZSBpZiAocFNw
YW5bb2Zmc2V0XSAhPSAnICcpDQo+IAkJCQkgICAgYnJlYWs7DQo=
---595574817-381784388-930104333=:12312--