public void Refresh() {} public void SetGutterMarker(int lineIndex, string gutterID, Element style) { }