subreddit shortcut GUI is more tolerant of user messing with shortcuts on different tabs