OpenGrok

3667     TextWidget oldtw = (TextWidget)current;
3675     newtw->text.display_caret = oldtw->text.display_caret;
3679     if (oldtw->text.r_margin.left != newtw->text.r_margin.left) {
3689     if (oldtw->text.scroll_vert != newtw->text.scroll_vert) {
3698     if (oldtw->text.r_margin.bottom != newtw->text.r_margin.bottom) {
3707     if (oldtw->text.scroll_horiz != newtw->text.scroll_horiz) {
3716     if (oldtw->text.source != newtw->text.source) {
3719 	_XawSourceRemoveText(oldtw->text.source, cnew,
3720 			     oldtw->text.source &&
3721 			     XtParent(oldtw->text.source) == cnew);
3732     if (oldtw->text.wrap != newtw->text.wrap
3733 	|| oldtw->text.lt.top != newtw->text.lt.top
3734 	|| oldtw->text.insertPos != newtw->text.insertPos
3735 	|| oldtw->text.r_margin.right != newtw->text.r_margin.right
3736 	|| oldtw->text.r_margin.top != newtw->text.r_margin.top
3737 	|| oldtw->text.sink != newtw->text.sink
3739 	if (oldtw->text.wrap != newtw->text.wrap) {
3742 	    if (oldtw->text.lt.top == newtw->text.lt.top)

Indexes created Sun Oct 25 00:26:45 UTC 2026