While not a full video editor, ScreenBits includes a real-time overlay toolkit:
Create software tutorials with highlighted cursors, click animations, and real-time drawing. The "Region" mode lets you zoom into specific menu items. The clean UI won't distract students. screenbits