(fix) compatible with Gedit 46.1 and gnome-shell 45.1
With the latest update of gnome-shell 45.1
, the plugin didn't work reporting the following error:
Traceback (most recent call last):
File "/home/javad/.local/share/gedit/plugins/favorites/plugin.py", line 19, in do_activate
panel.add_titled(self.favorites.get_widget(), 'Favorites', 'Favorites')
^^^^^^^^^^^^^^^^
AttributeError: 'PanelContainer' object has no attribute 'add_titled'
This PR fixes this issue.