If you are looking for the decompiler itself, visit https://github.com/jindrapetrik/jpexs-decompiler
NEW : We have got a new blog where we post some interesting SWF internals info.
List of issues#1781 Pad the numbers in generated names, better search
Author: 
FareakyTinkerton
FareakyTinkertonDate created:
Type: feature
Visibility: Everybody
Assigned to:
State: new 
Pad numbers in generated names (rename invalid identifiers) for search purposes:
count identifiers (lets say 11111), count digits (5 in that case) and pad every number
with zeros (var_00001).
Better search:
Make F3 works when focus is in "quick find" field.
Ignore case by default. Remember last state of that check box (it resets when i switch to
another class).
Also remember last searched string (its also resets when i switch to
another class).