Vaseline is a petroleum grease - not much different from wheel bearing grease.
Use a petroleum solvent. Diesel fuel, kerosene, paint thinner would be good to start with because they're not likely to explode, and they won't hurt the paint and rubber around the glass (though the fine wax job you did last sunday will be toast). Worst case, you can use gasoline, but don't smoke, don't do it over a hot engine, etc.
After the big stuff comes off using the stuff above, you may have to go over it with some rubbing alcohol. it comes in two types, one is about 70%, the other is about 90%. either will do, but the 90% will work faster.
Final wash should be with ammonia and water, or windex, or some other window cleaner.
Aren't you glad someone who owned a window washing company is on the list?
