I use *GNOME Subtitles* to edit my subtitles. Is there any tool which works with video playback to code subtitles? I saw some screenshots where a subtitle tool has a video running inside it, allowing users to add subtitles easily.