diff --git a/__init__.py b/__init__.py index 37013b6..a9f562f 100644 --- a/__init__.py +++ b/__init__.py @@ -84,3 +84,4 @@ def write_config(host, port, nick, password): def vivExtension(vw, vwgui): import viv_frontend viv_frontend.vivExtension(vw, vwgui) + diff --git a/viv_frontend.py b/viv_frontend.py index 310605d..8faed8d 100644 --- a/viv_frontend.py +++ b/viv_frontend.py @@ -231,6 +231,7 @@ def watch_structs(vw): vw.vprint('revsync: user renamed struct %s' % struct_name) publish(bv, {'cmd': 'struc_renamed', 'old_name': str(last_name), 'new_name': str(struct_name)}) + # check for member differences members = member_dict_from_list(struct.typedef.members) last_members = member_dict_from_list(last_struct.typedef.members) @@ -348,6 +349,7 @@ def onmsg(vw, key, data, replay): struct_name = data['struc_name'].encode('ascii', 'ignore') vw.vprint('revsync: <%s> %s %s' % (user, cmd, struct_name)) + elif cmd == 'struc_deleted': struct_name = data['struc_name'].encode('ascii', 'ignore') vw.vprint('revsync: <%s> %s %s' % (user, cmd, struct_name)) @@ -563,3 +565,4 @@ def vivExtension(vw, vwgui): vwgui.vqAddMenuField('&Plugins.&revsync.&Coverage: Toggle Time (BLUE)', toggle_time, args=(vw,)) vwgui.vqAddMenuField('&Plugins.&revsync.&Coverage: Toggle Visitors (GREEN)', toggle_visitors, args=(vw,)) vwgui.vqAddMenuField('&Plugins.&revsync.&load: Load revsync for binary(s) in this workspace', revsync_load, args=(vw,)) +