GWT панель изменяемого размера

Question

GWT панель изменяемого размера

В любом аспекте вам нужно сказать, что это лучше, чем скорость, используемая память, сложность. Итак, это зависит от ваших потребностей. Например, самый простой способ - использовать:

s='string_123'
end = None
print(s[7:end])

Если вы не знаете, где находится _, используйте это

s='string_123'
index=0
for i in s:
   index=index+1
   if i=='_':
    break;


end = None
print(s[index:end])

Для разделения строки

[ 112]

код здесь: https://repl.it/repls/LoneJuicyThings?folderId=

8

gwt

задан Ratn Deo--Dev 2 January 2009 в 05:06

4 ответа

Просто посмотрите здесь: http://code.google.com/p/resizepanel/ Там является полностью функциональным примером для FF/IE/GChrome

2

ответ дан 5 December 2019 в 17:42

Похоже, что расширения виджета GWT-расширения содержат то, что Вы хотите в его Панели Изменяемого размера

0

ответ дан 5 December 2019 в 17:42

Для приведенного выше кода в onBrowserEvent (...) не забудьте вставить

 event.preventDefault();

, иначе у вас возникнут проблемы с firefox перетаскивание изображения!

0

ответ дан 5 December 2019 в 17:42

Другие вопросы по тегам:

gwt

Похожие вопросы:

score 7 · Accepted Answer

Изображенный это самостоятельно, вот пример:

public class DraggablePanel extends VerticalPanel {
    private boolean isBeingDragged = false;
    private boolean isBeingMoved = false;
    private Element movingPanelElement;

    public void setMovingPanelElement(Element movingPanelElement) {
        this.movingPanelElement = movingPanelElement;
    }

    public DraggablePanel() {
        super();
        DOM.sinkEvents(getElement(), Event.ONMOUSEDOWN | Event.ONMOUSEMOVE
                | Event.ONMOUSEUP | Event.ONMOUSEOVER);
    }

    @Override
    public void onBrowserEvent(Event event) {
        final int eventType = DOM.eventGetType(event);
        if (Event.ONMOUSEOVER == eventType) {
            if (isCursorResize(event)) {
                getElement().getStyle().setProperty("cursor", "s-resize");
            } else if (isCursorMove(event)) {
                getElement().getStyle().setProperty("cursor", "move");
            } else {
                getElement().getStyle().setProperty("cursor", "default");
            }
        }
        if (Event.ONMOUSEDOWN == eventType) {
            if (isCursorResize(event)) {
                if (!isBeingDragged) {
                    isBeingDragged = true;
                    DOM.setCapture(getElement());
                }
            } else if (isCursorMove(event)) {
                DOM.setCapture(getElement());
                isBeingMoved = true;
            }
        } else if (Event.ONMOUSEMOVE == eventType) {
            if (!isCursorResize(event) && !isCursorMove(event)) {
                getElement().getStyle().setProperty("cursor", "default");
            }
            if (isBeingDragged) {
                int currentY = event.getClientY();
                int originalY = getElement().getAbsoluteTop();
                if (currentY > originalY) {
                    Integer height = currentY - originalY;
                    this.setHeight(height + "px");
                }
            } else if (isBeingMoved) {
                RootPanel.get().setWidgetPosition(this,
                        event.getClientX(), event.getClientY());
            }
        } else if (Event.ONMOUSEUP == eventType) {
            if (isBeingMoved) {
                isBeingMoved = false;
                DOM.releaseCapture(getElement());
            }
            if (isBeingDragged) {
                isBeingDragged = false;
                DOM.releaseCapture(getElement());
            }
        }
    }

    protected boolean isCursorResize(Event event) {
        int cursor = event.getClientY();
        int initial = getAbsoluteTop();
        int height = getOffsetHeight();
        return initial + height - 20 < cursor && cursor <= initial + height;
    }

    protected boolean isCursorMove(Event event) {
        int cursor = event.getClientY();
        int initial = movingPanelElement.getAbsoluteTop();
        int height = movingPanelElement.getOffsetHeight();
        return initial <= cursor && cursor <= initial + height;
    }
}