[gnome-shell-extensions] xrandr-indicator: Adjust to PopupMenu API change

[Florian Müllner <fmuellner src gnome org>]

commit d903f1f15b8d4f31e4007f598cdf5a850f2bd22d
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Apr 30 17:15:17 2013 +0200

    xrandr-indicator: Adjust to PopupMenu API change
    
    setShowDot() has become setOrnament()
    
    https://bugzilla.gnome.org/show_bug.cgi?id=699335

 extensions/xrandr-indicator/extension.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/extensions/xrandr-indicator/extension.js b/extensions/xrandr-indicator/extension.js
index 7909dc7..e9be23c 100644
--- a/extensions/xrandr-indicator/extension.js
+++ b/extensions/xrandr-indicator/extension.js
@@ -94,7 +94,7 @@ const Indicator = new Lang.Class({
             if (bitmask & allowedRotations) {
                 let item = new PopupMenu.PopupMenuItem(Gettext.gettext(name));
                 if (bitmask & currentRotation)
-                    item.setShowDot(true);
+                    item.setOrnament(PopupMenu.Ornament.DOT);
                 item.connect('activate', Lang.bind(this, function(item, event) {
                     /* ensure config is saved so we get a backup if anything goes wrong */
                     config.save();