38 int tag,
int object_id);
void property_editor_handle_object_changed(struct property_editor *pe, enum editor_object_type objtype, int object_id, bool remove)
void property_editor_handle_object_created(struct property_editor *pe, int tag, int object_id)
void property_editor_popup(struct property_editor *pe, enum editor_object_type objtype)
struct property_editor * editprop_get_property_editor(void)
void property_editor_reload(struct property_editor *pe, enum editor_object_type objtype)
void property_editor_popdown(struct property_editor *pe)
void property_editor_load_tiles(struct property_editor *pe, const struct tile_list *tiles)
void property_editor_clear(struct property_editor *pe)