Changes between Initial Version and Version 1 of Ticket #6127, comment 9


Ignore:
Timestamp:
2020-10-18T22:42:26Z (4 years ago)
Author:
Francesco Casella

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #6127, comment 9

    initial v1  
    33
    44OK. In fact, I saw the blank line in the drop-down list, but that's not appropriate; a blank line should be provided instead if one wants to remove the redeclare and get back to the default behaviour.
     5
     6EDIT: of course I meant the greyed-out line, sorry