[gedit] (5 commits) Non-fast-forward update to branch wip/tab-raviolli

[Sébastien Wilmet <swilmet src gnome org>]

The branch 'wip/tab-raviolli' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  916727e... tab: some cleanup

Commits added to the branch:

  30726ba... tab: use gedit_tab_get_view() and gedit_tab_get_document() (*)
  b069719... tab: no need to triple-check the auto save feature (*)
  68f4c23... tab: set auto_save_timeout to 0 before setting the state (*)
  47453a8... tab: avoid double negation with 'editable' (*)
  8ab43b1... tab: some cleanup

(*) This commit already existed in another branch; no separate mail sent