In Reply to: Pencil Sharpener on Plane posted by CafeNut on Saturday, 2. April 2011 at 11:08 Bali Time:
From memory they're called a clutch pencil and you can buy additional graphite lengths to feed into the tube of the casing when it wears out.. A specialist stationer should stock them...