1. 25 Mar, 2018 1 commit
    • Albert Gräf's avatar
      Escape a literal # in the iemguis so that it can be used inside labels. · 39a6b8fb
      Albert Gräf authored
      This fixes #427.
      
      We do this by tacking on a tilde if # is followed by a digit, to prevent it
      from being mistaken for a $ substitution (which happens because $ becomes # in
      FUDI, which is required behavior by non-iem gui objects and thus we don't want
      to break this). The tilde gets removed automatically when the label is sent to
      the gui.
      
      All this is implemented using the existing symbol mungers in the
      iemgui_dollar2raute and iemgui_raute2dollar functions in g_all_guis.c and
      iemgui_escape and iemgui_unescape in dialog_iemgui.html.
      39a6b8fb
  2. 23 Mar, 2018 6 commits
  3. 22 Mar, 2018 3 commits
  4. 21 Mar, 2018 4 commits
  5. 20 Mar, 2018 4 commits
  6. 19 Mar, 2018 5 commits
  7. 18 Mar, 2018 4 commits
  8. 17 Mar, 2018 5 commits
  9. 16 Mar, 2018 1 commit
  10. 15 Mar, 2018 7 commits