default text font name

[Francesco Potortì]

I fear this is a bug:

octave> version
ans = 3.1.51

octave> set(0,'defaulttextfontname','Verdana')

octave> get(0,'defaulttextfontname')
ans = Verdana

Now, I ask for the list of properties, defaulttextfontname is not shown:

octave> get(0)
ans =
{
  tag = 
  type = root_figure
  parent = [](0x0)
  children =  1
  busyaction = queue
  buttondownfcn = [](0x0)
  clipping = on
  createfcn = [](0x0)
  deletefcn = [](0x0)
  handlevisibility = on
  hittest = on
  interruptible = on
  selected = off
  selectionhighlight = on
  uicontextmenu = [](0x0)
  userdata = [](0x0)
  visible = on
  beingdeleted = off
  currentfigure =  1
  callbackobject = [](0x0)
}

-- 
Francesco Potortì (ricercatore)        Voice: +39 050 315 3058 (op.2111)
ISTI - Area della ricerca CNR          Fax:   +39 050 315 2040
via G. Moruzzi 1, I-56124 Pisa         Email: Potorti at isti.cnr.it
(entrance 20, 1st floor, room C71)     Web:   http://fly.isti.cnr.it/