Searched refs:ChangeFontRequest (Results 1 – 1 of 1) sorted by relevance
3873 ChangeFontRequest(XtermWidget xw, String buf) in ChangeFontRequest() function4273 ChangeFontRequest(xw, buf); in do_osc()