>>760
DEがGNOME3に変わったせいでショートカットキーも変更されたんで、多分17.10からかな。