From 8ecc375c803dc57b160bd0335891fcaf4f6de1df Mon Sep 17 00:00:00 2001
From: drw <drw>
Date: Sun, 16 Feb 2003 21:54:23 +0000
Subject: Added changeTab() to OTabWidget to dynamically change tab name and/or icon (stumbled upon request for this in TinyKate todo)

---
(limited to 'docs/pointing.html')

--
cgit v0.9.0.2