OperaMailでGmailをIMAPで受信している場合の話。
これはGmail側の設定で簡単にできる。
ただし、スパムが削除されないという欠点があるけど、滅多にないから気にしなくてもいいかもしれない。
注意事項
OperaMailにある削除ボタンは"Delete mail"っていうアクションで、これは一度ゴミ箱に放り込むというもの。
Gmailをアーカイブするには、OperaMailで完全に削除する必要があるので、別途"Delete permanently"というアクションを実行するボタンを設置するといいかも。
ただし、これはゴミ箱を介さずに削除するものなので、アーカイブ設定をしていないメールアカウントで使わないように注意しましょう。