#838
  • Created on
    2011-05-16 22:51
  • Reported by
    jakobc
  • Status
    Fixed
  • Priority
    Highest (1)
  • Assigned to
    jakobc
  • Milestone
    sprint #20
  • Plan Level
    -
  • Permission type
    Private
  • Estimate
    None/Small/Medium/Large None
  • Due Date
    -

Attachments

Related Tickets

Add new subtask or bug

dialyzer - implement plt copy feature

Provide a configuration key org.erlide.ui/alternate_plt_file_directory that contains a path to a directory. If the user clicks "Update PLT" and the plt-file is read-only, it's copied to this directory before checking and updating. The preferences and the GUI is also updated, the new location is added to the PLT file list.
User picture
  on 2011-05-16 22:51 *
By jakobc
Status changed from New to Test
Status changed from New to Test
User picture
  on 2011-06-20 15:11 *
By jakobc
Milestone changed from sprint #18 - 0.13 to sprint #20
Milestone changed from sprint #18 - 0.13 to sprint #20
Updating tickets (#613, #832, #818, #833, #831, #608, #817, #838)
User picture
  on 2011-08-16 13:35 *
By Vlad Dumitrescu
Status changed from Test to Fixed
Status changed from Test to Fixed
Updating tickets (#838, #817, #818, #833)