… | |
… | |
2007 | } |
2007 | } |
2008 | else |
2008 | else |
2009 | switch (ev.button) |
2009 | switch (ev.button) |
2010 | { |
2010 | { |
2011 | case Button2: |
2011 | case Button2: |
2012 | switch (scrollbar_align) |
2012 | switch (scrollBar.align) |
2013 | { |
2013 | { |
2014 | case R_SB_ALIGN_TOP: |
2014 | case R_SB_ALIGN_TOP: |
2015 | csrO = 0; |
2015 | csrO = 0; |
2016 | break; |
2016 | break; |
2017 | case R_SB_ALIGN_CENTRE: |
2017 | case R_SB_ALIGN_CENTRE: |
… | |
… | |
2029 | |
2029 | |
2030 | scrollBar.setMotion (); |
2030 | scrollBar.setMotion (); |
2031 | break; |
2031 | break; |
2032 | |
2032 | |
2033 | case Button1: |
2033 | case Button1: |
2034 | if (scrollbar_align == R_SB_ALIGN_CENTRE) |
2034 | if (scrollBar.align == R_SB_ALIGN_CENTRE) |
2035 | csrO = ev.y - scrollBar.top; |
2035 | csrO = ev.y - scrollBar.top; |
2036 | /* FALLTHROUGH */ |
2036 | /* FALLTHROUGH */ |
2037 | |
2037 | |
2038 | case Button3: |
2038 | case Button3: |
2039 | if (scrollBar.style != R_SB_XTERM) |
2039 | if (scrollBar.style != R_SB_XTERM) |