Reducing Texture size in the editor

you have to manually do it if you want to resize the actual source.

Keep in mind that UE will automatically use the Device Profile Settings you are working on. So if you are working on Linux and set the Texture Size to 512. All your Textures will automatically use 512 even in the Editor