Project

General

Profile

Actions

Bug #3617

closed

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

Added by westor (GR) almost 7 years ago. Updated almost 7 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

Also available in: Atom PDF