Searched refs:marginIdx (Results 1 – 1 of 1) sorted by relevance
2854 const int marginIdx = 0; in scrollToPos() local2891 if ( options[marginIdx].status == GNOCL_STATUS_CHANGED ) in scrollToPos()2893 margin = options[marginIdx].val.d; in scrollToPos()