zoni

#/bin/sh

# Turn on debugging, makes it clearer what is happening
set -x

# I don't want the overlay bound to Super_L, it messes with other shortcuts
gsettings set org.gnome.mutter overlay-key ''

# That huge 24-pixel notification area sucks. Whoever thought that was a good idea....
sudo sed -i -e 's/SOURCE_ICON_SIZE:\ 48,/SOURCE_ICON_SIZE:\ 24,/g' /usr/share/gnome-shell/js/ui/messageTray.js

mythz

let btnUp = new Button("Increment", Visible=true)
let btnDown = new Button("Decrement", Visible=true)
let lbl = new Label(Text=" Count: 0", Visible=true)

Event.merge
    (btnUp.Clicked |> Event.map (fun _ -> +1))
    (btnDown.Clicked |> Event.map (fun _ -> -1))
  |> Event.scan (+) 0
  |> Event.map (sprintf " Count: %d")
  |> Event.add (fun s -> lbl.Text <- s)