From d903f1f15b8d4f31e4007f598cdf5a850f2bd22d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 30 Apr 2013 17:15:17 +0200
Subject: [PATCH] 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 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extensions/xrandr-indicator/extension.js b/extensions/xrandr-indicator/extension.js
index 7909dc79..e9be23c1 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();