Mir

  1. Bug #1506713
  2. Comment #4

Comment 4 for bug 1506713

Revision history for this message
Michał Sawicz (saviq) wrote :

Shouldn't this be part of the window management policy? To not rely on toolkits / apps to close their menu but close it arbitrarily?