selection highlight: add rounded border

navigator.js

@@ -64,6 +64,7 @@ var ActionDispatcher = class {
     show(backward, binding, mask) {
         this._modifierMask = SwitcherPopup.primaryModifier(mask);
         this.navigator = getNavigator();
+        TopBar.fixTopBar();
         let actionId = Keybindings.idOf(binding);
         if(actionId === Meta.KeyBindingAction.NONE) {
             try {

stylesheet.css

@@ -14,3 +14,7 @@
 .workspace-icon-button StIcon {
     icon-size: 16px;
 }
+
+.paperwm-selection {
+    border-radius: 8px;
+}

tiling.js

@@ -153,7 +153,7 @@ class Space extends Array {
         label.hide();
 
         let selection = new St.Widget({name: 'selection',
-                                       style_class: 'tile-preview'});
+                                       style_class: 'paperwm-selection tile-preview'});
         this.selection = selection;
 
         clip.space = this;