diff src/stdui/ui_profile_manager.py @ 1847:d8c6c55aafd7

plugin text syntaxes: fixed defaut syntax handling
author Goffi <goffi@goffi.org>
date Thu, 18 Feb 2016 15:41:47 +0100
parents d17772b0fe22
children 2daf7b4c6756
line wrap: on
line diff