[gnome-devel-docs] (11 commits) ...platform-demos: Improve paned.js

[David King <davidk src gnome org>]

Summary of changes:

  50c019c... platform-demos: add tooltip.js (*)
  1b821e9... platform-demos: add colorbuttonexample.js (*)
  5a30b13... platform-demos: add fontchooserwidget.js (*)
  099e1a2... platform-demos: add scrolledwindowexample.js (*)
  1812a7d... platform-demos: add paned.js (*)
  916cc71... platform-demos: add buttonboxexample.js (*)
  46fe5eb... platform-demos: Improve tooltip.js
  3e82e04... platform-demos: Improve colorbutton.js
  4ad0bf3... platform-demos: Improve fontchooserwidget.js
  2291421... platform-demos: Improve scrolledwindow.js
  b91cc2a... platform-demos: Improve paned.js

(*) This commit already existed in another branch; no separate mail sent