Jump menu options encoding (options text is double escaped)

Note: For the impatient, a temporary workaround is to use hook_form_alter() on $form_id = ctools_jump_menu in a custom module:

function mymodule_form_alter(&$form, &$form_state, $form_id) {
  switch ($form_id) {
    case 'ctools_jump_menu':
      foreach ($form['jump']['#options'] as $key => $value) {
        $form['jump']['#options'][$key] = html_entity_decode($value, ENT_QUOTES);
       }
       break;
  }
}

Sorry, I have to reopen because I think this is not a duplicate. Details below. If you still think this is a duplicate, I won't argue and I'll post to the other issue.

As you can read on http://drupal.org/node/746846#comment-3150884, the "duplicate" issue was about grouping labels that were url endoded, and in the end a patch was committed for that. But the current issue is about regular option items, for which special characters are escaped twice (this is not url encoding), so we run into display problems when such a character is used.

For an illustration you can compare the attached screenshot to the one attached to the other issue, which is http://drupal.org/files/issues/746846-screenshot.png

I opened a separate issue not to pollute a thread for which a patch was already available, and because it's not exactly the same issue (therefore it would need a separate patch as well).

Hi,

I tested the following setups:

- Views 2.12 + CTools 1.8
- Views 2.x-dev + CTools 1.8
- Views 2.x-dev + CTools 1.x-dev
- Views 3.x-dev + CTools 1.x-dev

The bug is still here on all tested configurations. The ampersand (&) character is escaped to "&", the single quote (') is escaped to "'" and so on. I made sure no cache was activated.

I attached a simple view to demonstrate the bug. Just add a node which title contains some special characters and look at the /jump-menu-test page.