Skip to main content
A
AP_958723617-Peridot
17-Peridot
July 16, 2021
Solved

editing extension

  • July 16, 2021
  • 2 replies
  • 1869 views

I have a widget extension. Its height is non-editable and fixed to 30pixels. I want to increase its height to 180pixels. Is it possible to edit extension and to change non-editable property height to editable one??

Best answer by PaiChung

Did you do a full (crtl+F5) refresh of your browser? Also potentially a restart of Tomcat?

2 replies

P
PaiChung22-Sapphire I
22-Sapphire I
July 16, 2021

If you have the extension, you should be able to modify that property. Not sure how it is defined in the extension, at minimum you should be able to set the height to 180 if you can't find the enabled for edit.

I really can't tell you too much more as I've not done much extension work.

A
AP_958723617-PeridotAuthor
17-Peridot
July 16, 2021

I tried editing both IsEditable of height property and default value of height property. The changes iam making in javascript file of extension is not reflecting in the thingworx after re-importing the extension. 

I removed extension in thingworx and re-imported again. But the edited changes were not changed in the widget properties.

 

Any procedure have to be followed in editing the extension??

@PaiChung 

P
PaiChung22-Sapphire IAnswer
22-Sapphire I
July 19, 2021

Did you do a full (crtl+F5) refresh of your browser? Also potentially a restart of Tomcat?

S
slangleyCommunity Manager
Community Manager
July 30, 2021

Hi @AP_9587236

 

If one of the previous responses allowed you to find a solution, please mark the appropriate one as the Accepted Solution for the benefit of others with the same issue.

 

Regards.

 

--Sharon

Terms & ConditionsCookie settingsAccessibility statement