intellij idea - How to resize splitter in PhpStorm -

-

i see can resize side sidebar using ctrl+shift+arrows.

how can same thing vertical/horizontal split.

at moment cannot via keyboard -- mouse only.

https://youtrack.jetbrains.com/issue/idea-67379 -- watch ticket (star/vote/comment) notified on progress.


Comments

Post a Comment

Popular posts from this blog

c# - ItextSharp font color issue in ver 5.5.4+ -

-
Image
i have code creates red "stamp" using red font color: string stampdate = datetime.now.tostring("mm/dd/yyyy"); string fontpath = server.mappath("/assets/fonts"); string origfile = server.mappath("/test.pdf"); const int opacitypercent = 80; const float pdfpaidfontsize = 28; const float pdfcopyx = 170; const float pdfpaidx = 385; const float pdfy = 20; const float pdfdatexoffset = 7; const float pdfdateyoffset = 12; const float pdfdatefontsize = 10; const string paidstamptxt = "paid"; const string copystamptxt = "copy"; const string arialfilename = "arialbd.ttf"; pdfstamper stamper = null; pdfreader reader = null; pdfreader.unethicalreading = true; memorystream streampdf; try { reader = new pdfreader(origfile); streampdf = new memorystream(); stamper = new pdfstamper(reader, streampdf); (int = 1; <= r...
Read more

jquery - Multiple issues with pushstate: history, loading, calling functions -

-
i have script pulling data via ajax/pushstate; works relatively well, there issues i'm running into. first , foremost, here code i'm using: function goto(href) { $.ajax({ url: href, success: function(data) { $('#wrapper').fadeout('fast', function(){ $(this).html(data).fadeto('fast', 1); $(".scroll").nicescroll({cursorcolor:"#f33d39", cursorwidth: "10px", cursorborder: "none", cursorborderradius: "0px", fixed: true}); }); // update page title var title = $('#page-right').find('h1').text(); $('head').find('title').text(title); } }); } if (typeof history.pushstate !== "undefined") { var historycount = 0; $('a[href*="rage.rage-wrestling.com"]').live('click',function(){ var href = $(this).attr('h...
Read more

php - Get process resource by PID -

-
Image
i want write web ssh console, , found 2 problems. what want do. first want execute start.php file have following code. $process = proc_open('start', array( 0 => array("pipe", "r"), 1 => array("pipe", "w"), 2 => array("pipe", "a") ), $pipes); second want run command.php file run command on created process in start.php file , results it. $pid = 12345; print_r(process_command('ping google.com', $pid)); i want access process ( cmd ) created in past, send command , result. why problem, if can create new process each command.php execution? because new process new session, if login mysql in past command.php execution, in next executions must login mysql again, because new process not remember logged. example on windows. i create new process ( cmd ) in php, current directory c:\webserv\ . i write cd / command, current directory c:\ . this example, dont want c...
Read more