Project

General

Profile

Actions

Bug #3617

closed

$group() still returns a value after a script file unloaded via script editor

Added by westor (GR) over 6 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Scripting
Target version:
Start date:
07/24/2017
Due date:
% Done:

0%

Estimated time:
Operative System:
All
Regression:
No

Description

Hello,

There is an odd bug, when opening the script editor selecting a file and right click and selecting "Save As" and name the file with different file extention from the original and then right click and selecting "Unload" the $group() still triggering.

Video Example: http://a.pomf.cat/rxcrhr.mp4

- Thanks!

Actions #1

Updated by westor (GR) over 6 years ago

Also if i right click and selecting 'Rename' and rename the script file to an other name, then $group().fname returns incorrect file path too.

Actions #2

Updated by Per Amundsen over 6 years ago

  • Status changed from New to Resolved
Actions #3

Updated by Per Amundsen over 6 years ago

  • Status changed from Resolved to Closed
Actions

Also available in: Atom PDF