タブ切り替えプラグインが動作しないバグ(2014/10/13)
「タブ切り替え」プラグインが動作しないバグがあります。「タブ切り替え」プラグインを利用するには、ソースコードを修正する必要があります。
修正箇所は全部で3箇所です。
ソースコードを開く
「root」で「gedit」を起動し、ソースコードを修正できるようにします。「端末」を起動し、以下のコマンドを実行します。
sudo -i gedit /usr/lib/gedit/plugins/tabswitch/tabswitch.py
1.importの修正
「import」の修正です。1-1.修正箇所の確認
7行目の以下の箇所を修正します。import cPickle, os
1-2.追記
以下のように修正します。import os
2.set_dataの修正
「set_data」の修正です。2-1.修正箇所の確認
22行目の以下の箇所を修正します。self.window.set_data(self.id_name, l_ids)
2-2.修正
以下のように修正します。setattr(self.window,self.id_name, l_ids)
3.get_dataの修正
「get_data」の修正です。3-1.修正箇所の確認
25行目の以下の箇所を修正します。l_ids = self.window.get_data(self.id_name)
3-2.修正
以下のように修正します。l_ids = getattr(self.window,self.id_name,None)