Closed liushuyu closed 7 years ago
@liushuyu You may delete hoverpanel.js... It has been removed from website .
@LionNatsu Is it seem okay to you?
The PR has mixed up many irrelevant commits so far. Deleting the hoverpanel one, fixing the mirror-status, fixing typos looks good to me. Maybe we should give it a cherry-pick into our develop branch.
However, I will say no to the minification due to the discussion you and me had before. In short, minifying manually will lead to something synchronisation problem between the normal one and the minified one. Moreover, to minify by cutting the functions may ruin Ajax calls. Closing. Please feel free to leave any comments or questions here, or reopen this if I was misunderstanding.
@LionNatsu I don't know where
hoverpanel
is used. Seems like it is an extension ofjQuery
but never used by anything...?BTW, GCL is used to minify the files, using the highest level of optimization, so I have patched one of the scripts to get GCL correctly minify the file.
This change is