geopf-extensions-openlayers
    Preparing search index...

    Class EditorFilter

    MapBox filter management

    ol.style.editor.Filter

    options for function call.

    var filter = new Filter ({
    target : ...,
    position : 1, // identifiant de position (unique !)
    tools : {
    edition : false
    },
    title : "Filtres (JSON)",
    obj : {
    filter : []
    }
    });
    filter.add();
    filter.display(true);
    filter.getContainer();
    Index
    container: HTMLDivElement | null | undefined
    id: any
    name:
        | {
            container: string;
            containerjson: string;
            containertoolsedit: string;
            jsondisplay: string;
            jsonlabel: string;
            target: string;
        }
        | undefined
    options: any