[Plugin: WordPress Navigation List Plugin NAVT] options for group display pages request

It would be lovely if one of the options for display on pages and posts, would simply be “the pages included in this group”

I have over 400 pages (turned my posts to pages in order to use this plugin) to organise. I can pick out the ones I want in a group, and then I have to pick them out all over again, as I’m setting display options. This won’t end, either, as more members of my group blog add items that have to be interleaved…
here is the code that controls what pages the group shows up on;

/**
     * Return the list of pages for the group display settings
     *
     * @param array $display
     * @return string (html)
     * @since .96
     */
    function get_pages_for_display($display) {
        global $wpdb;
        global $post;
        global $checkit;
        global $selected;

        $html = '';
        $show_on_pages = (intval($display['show_on'],10) & SET_ON_PAGES ? 1: 0);
        $on_selected = ((intval($display['show_on'],10) & SHOW_ON_PAGES) ? 'show': 'hide' );
        $on_selected = ((intval($display['show_on'],10) & HIDE_ON_PAGES) ? 'hideonallpages': $on_selected);

        // get published pages from the database
        $pages = get_pages();

        //do_action('dbnavt', NAVT_AJX, sprintf("%s::%s \n", __CLASS__, __FUNCTION__), $posts);

        if($pages) {
            $html .=
            "<div id='pages-options'>" .
            "<fieldset><legend>".
            "<input type='checkbox' value='1' class='optckbox cbox' id='set-on-pages' name='group_options[set_on_pages]'".
            ($show_on_pages ? $checkit:'') . "/> ".
            __('Settings for available pages', 'navt_domain')." </legend> " .
            "<p class='show-hide @DISABLED_CLASS@'><input class='rb' type='radio' id='show-on-selected-pages' name='display[pages][on_selected]' value='show' " .
            ($on_selected == 'show' ? $checkit: '') ."@DISABLED@/> " .
            __("Display this navigation group only on selected pages", 'navt_domain') .
            "<br /><input class='rb' type='radio' id='hide-on-selected-pages' name='display[pages][on_selected]' value='hide' " .
            ($on_selected == 'hide' ? $checkit: '')." @DISABLED@/> " .
            __("Do not display this navigation group on selected pages", 'navt_domain') .
            "<br /><input class='rb' type='radio' id='hide-on-all-pages' name='display[pages][on_selected]' value='hideonallpages' " .
            ($on_selected == 'hideonallpages' ? $checkit: '')." @DISABLED@/> " .
            __("Do not display this navigation group on pages", 'navt_domain') .
            "</p><select id='pages-ids' class='page-selectbox-list @DISABLED_CLASS@' size='8' multiple='multiple' @DISABLED@>";

            foreach($pages as $post) {
                $html .=
                "<option value='$post->ID' " .((isset($display['pages']['ids'][$post->ID])) ? $selected : '') . ">" .
                "&bull; " . NAVT::truncate($post->post_title, 95) . "</option>";
            }

            $html .= "</select></fieldset></div>";
            $html = str_replace('@DISABLED@', (($show_on_pages) ? '': "disabled='disabled'"), $html);
            $html = str_replace('@DISABLED_CLASS@', (($show_on_pages) ? '': "disabled"), $html);
            $html = str_replace('"', '&quot;', $html);
        }
        return($html);
    }

http://wordpress.org/extend/plugins/wordpress-navigation-list-plugin-navt/