function wptouch_admin_the_encoded_setting_name()
{
echo wptouch_admin_get_encoded_setting_name();
}
<?php
$settings = wptouch_get_settings();
ob_start();
wp_dropdown_pages();
$contents = ob_get_contents();
ob_end_clean();
$contents = str_replace("id='page_id'", 'id="' . wptouch_admin_get_setting_name() . '"', $contents);
$contents = str_replace("name='page_id'", 'name="' . wptouch_admin_get_encoded_setting_name() . '"', $contents);
$value_string = 'value="' . $settings->homepage_redirect_wp_target . '"';
$contents = str_replace($value_string, $value_string . ' selected', $contents);
echo $contents;
?>
<label for="homepage_redirect_wp_target"><?php
_e('WordPress Page', 'wptouch-pro');
?>
</label>
