Ignore:
Timestamp:
09/16/11 16:31:22 (13 years ago)
Author:
adrpo
Message:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/org.modelica.mdt.ui/src/org/modelica/mdt/ui/hover/AbstractModelicaEditorTextHover.java

    r694 r970  
    256256                if (info.endsWith("\"")) info = info.substring(0, info.length()-1);
    257257                info = info.trim();
     258               
     259                info = info.replace("\\\"", "\"");
     260                info = info.replace("\\\\", "\\");
     261               
    258262                if (!info.equals("")) return info + "\n";
    259263
Note: See TracChangeset for help on using the changeset viewer.