# Editor display options PROD <<< options_all >>>

# font manipulation
font.size=true
font.face=true
font.color=true
font.decoration=true

# color
bg.color=true

# paragraph manipulation
text.align=true
text.indent=true
text.lists=true

# customized editor button
button.customized=true

# page editor options
option.element.selection=true
option.element.language=true
option.properties=true
option.sourcecode=true

# galleries
gallery.download=true
gallery.link=true
gallery.image=true
gallery.html=true
gallery.table=true

# link & anchor options
option.links=true
option.linkstyleinputs=false

# misc buttons
option.images=true
option.specialchars=true
option.table=true
option.form=false
option.style=false
option.flash=false
option.spellcheck=false

-------

# Editor display options PROD <<< options_extended >>>

# font manipulation
font.size=true
font.face=true
font.color=true
font.decoration=true

# color
bg.color=true

# paragraph manipulation
text.align=true
text.indent=true
text.lists=true

# customized editor button
button.customized=true

# page editor options
option.element.selection=true
option.element.language=true
option.properties=true
option.sourcecode=true

# galleries
gallery.download=true
gallery.link=true
gallery.image=true
gallery.html=true
gallery.table=true

# link & anchor options
option.links=true
option.linkstyleinputs=false

# misc buttons
option.images=true
option.specialchars=true
option.table=true
option.form=false
option.style=true
option.flash=false
option.spellcheck=false