Index: tool.h =================================================================== --- tool.h (revision 29123) +++ tool.h (revision 29124) @@ -95,6 +95,7 @@ /* (un)initialize the tool subsystem */ void pcb_tool_init(); void pcb_tool_uninit(); +void pcb_tool_uninit_conf(void); /* call this one before hidlib uninit for conf uninit */ /* Insert a new tool in pcb_tools; returns 0 on success */ int pcb_tool_reg(pcb_tool_t *tool, const char *cookie);