def __init__(self, plugin, window):
self._window = window
self._plugin = plugin
self.find_ui = None
self.find_history = []
self.replace_history = []
self.file_type_history = []
self.file_path_history = []
self.current_search_pattern = ""
self.current_replace_text = ""
#self.current_file_pattern = ""
#self.current_path = ""
self.forwardFlg = True
self.scopeFlg = 0
'''
self.result_highlight_tag = gtk.TextTag('result_highlight')
self.result_highlight_tag.set_properties(foreground='yellow',background='red')
self.result_highlight_tag.set_property('family', 'Serif')
self.result_highlight_tag.set_property('size-points', 12)
self.result_highlight_tag.set_property('weight', pango.WEIGHT_BOLD)
self.result_highlight_tag.set_property('underline', pango.UNDERLINE_DOUBLE)
self.result_highlight_tag.set_property('style', pango.STYLE_ITALIC)
#'''
configfile = os.path.join(os.path.dirname(__file__), "config.xml")
self.config_manager = config_manager.ConfigManager(configfile)
self.find_options = self.config_manager.load_configure('FindOption')
self.config_manager.to_bool(self.find_options)
self.find_dlg_setting = self.config_manager.load_configure('FindGUI')
self.config_manager.to_bool(self.find_dlg_setting)
self.shortcuts = self.config_manager.load_configure('Shortcut')
self.result_highlight = self.config_manager.load_configure(
'ResultDisplay')
self.result_gui_settings = self.config_manager.load_configure(
'ResultGUI')
self.config_manager.to_bool(self.result_gui_settings)
self.find_history = self.config_manager.load_list('FindHistory')
self.replace_history = self.config_manager.load_list('ReplaceHistory')
self.file_type_history = self.config_manager.load_list('FilterHistory')
self.file_path_history = self.config_manager.load_list('PathHistory')
self._results_view = FindResultView(window, self.result_gui_settings)
self._window.get_bottom_panel().add_item(self._results_view,
_("Advanced Find/Replace"),
"gtk-find-and-replace")
self.msgDialog = gtk.MessageDialog(
self._window, gtk.DIALOG_MODAL | gtk.DIALOG_DESTROY_WITH_PARENT,
gtk.MESSAGE_INFO, gtk.BUTTONS_CLOSE, None)
# Insert menu items
self._insert_menu()
def __init__(self, plugin, window):
self._window = window
self._plugin = plugin
self.find_ui = None
self.find_history = []
self.replace_history = []
self.filter_history = []
self.path_history = []
self.find_bookmarks = []
self.replace_bookmarks = []
self.filter_bookmarks = []
self.path_bookmarks = []
self.current_search_pattern = ""
self.current_replace_text = ""
self.current_file_pattern = "*"
#self.current_path = ""
self.forwardFlg = True
self.scopeFlg = 0
'''
self.result_highlight_tag = Gtk.TextTag('result_highlight')
self.result_highlight_tag.set_properties(foreground='yellow',background='red')
self.result_highlight_tag.set_property('family', 'Serif')
self.result_highlight_tag.set_property('size-points', 12)
self.result_highlight_tag.set_property('weight', pango.WEIGHT_BOLD)
self.result_highlight_tag.set_property('underline', pango.UNDERLINE_DOUBLE)
self.result_highlight_tag.set_property('style', pango.STYLE_ITALIC)
#'''
user_configfile = os.path.join(CONFIG_DIR, 'config.xml')
if not os.path.exists(user_configfile):
if not os.path.exists(os.path.dirname(user_configfile)):
os.makedirs(os.path.dirname(user_configfile))
shutil.copy2(
os.path.dirname(__file__) + "/config/config.xml",
os.path.dirname(user_configfile))
#print os.path.dirname(user_configfile)
configfile = user_configfile
#print configfile
self.config_manager = config_manager.ConfigManager(configfile)
self.find_options = self.config_manager.load_configure('FindOption')
self.config_manager.to_bool(self.find_options)
self.find_dlg_setting = self.config_manager.load_configure('FindGUI')
self.config_manager.to_bool(self.find_dlg_setting)
self.shortcuts = self.config_manager.load_configure('Shortcut')
self.result_highlight = self.config_manager.load_configure(
'ResultDisplay')
self.result_gui_settings = self.config_manager.load_configure(
'ResultGUI')
self.config_manager.to_bool(self.result_gui_settings)
user_patterns = os.path.join(CONFIG_DIR, 'patterns.xml')
if not os.path.exists(user_patterns):
if not os.path.exists(os.path.dirname(user_patterns)):
os.makedirs(os.path.dirname(user_patterns))
shutil.copy2(
os.path.dirname(__file__) + "/config/patterns.xml",
os.path.dirname(user_patterns))
#print os.path.dirname(user_patterns)
patternsfile = user_patterns
#print patternsfile
self.patterns_manager = config_manager.ConfigManager(patternsfile)
self.find_history = self.patterns_manager.load_list('FindHistory')
self.replace_history = self.patterns_manager.load_list(
'ReplaceHistory')
self.filter_history = self.patterns_manager.load_list('FilterHistory')
self.path_history = self.patterns_manager.load_list('PathHistory')
self.find_bookmarks = self.patterns_manager.load_list('FindBookmark')
self.replace_bookmarks = self.patterns_manager.load_list(
'ReplaceBookmark')
self.filter_bookmarks = self.patterns_manager.load_list(
'FilterBookmark')
self.path_bookmarks = self.patterns_manager.load_list('PathBookmark')
self._results_view = FindResultView(window, self.result_gui_settings)
icon = Gtk.Image.new_from_stock(Gtk.STOCK_FIND_AND_REPLACE,
Gtk.IconSize.MENU)
self._window.get_bottom_panel().add_item(self._results_view,
'AdvancedFindBottomPanel',
_("Advanced Find/Replace"),
icon)
self.msgDialog = Gtk.MessageDialog(
self._window,
Gtk.DialogFlags.MODAL | Gtk.DialogFlags.DESTROY_WITH_PARENT,
Gtk.MessageType.INFO, Gtk.ButtonsType.CLOSE, None)
# Insert menu items
self._insert_menu()
