[PUSHED] Added Options.ui Widget and few sub widgets under Option->Li...

[Radek Doulík (via_Code_Review)]

Hi,

Thank you for your patch!  It has been merged to LibreOffice.

If you are interested in details, please visit

    https://gerrit.libreoffice.org/1750

Approvals:
  Radek Doulík: Verified; Looks good to me, approved


-- 
To view, visit https://gerrit.libreoffice.org/1750
To unsubscribe, visit https://gerrit.libreoffice.org/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id6ad009b79ef35e91b329ee7f3c534a17d856b59
Gerrit-PatchSet: 4
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: gokul s <gswaminathan at kacst.edu.sa>
Gerrit-Reviewer: Caolán McNamara <caolanm at redhat.com>
Gerrit-Reviewer: Radek Doulík <rodo at novell.com>