var searchData=
[
  ['extrashortjumpbackward',['extraShortJumpBackward',['../interface_v_l_c_media_player.html#aefc367fa665de839effe00bccb4b7261',1,'VLCMediaPlayer']]],
  ['extrashortjumpforward',['extraShortJumpForward',['../interface_v_l_c_media_player.html#ac77c500c9dbfb4bf3f3228db0f970e50',1,'VLCMediaPlayer']]]
];