We could do that indeed, but I don't think it is really worth it. It complicates the interface for no major improvement in my opinion. I can add it though if you feel like it is important.